QA9.46
|
Interpolation and definability : modal and intuitionistic logic / |
1 |
QA9.46 .G37 2014
|
Kripke's worlds / |
1 |
QA9.46.G664 2011eb
|
Quantifiers Propositions Identity. |
1 |
QA9.46 .I57 1985
|
Intensional mathematics / |
1 |
QA9.47 .B76 1981
|
Brouwer's Cambridge lectures on intuitionism / |
1 |
QA9.47 .D84 2000
|
Elements of intuitionism / |
1 |
QA9.47 .M56 2000eb
|
A short introduction to intuitionistic logic / |
1 |
QA9.47 .O54 2008eb
|
One hundred years of intuitionism (1907-2007) : the Cerisy conference / |
1 |
QA9.5
|
Lambda Calculus with Types / |
1 |
QA9.5 .A43 1998
|
Domains and lambda-calculi / |
1 |
QA9.5 .B36
|
The lambda calculus : its syntax and semantics / |
1 |
QA9.5 .B36 1984
|
The lambda calculus : its syntax and semantics / |
1 |
QA9.5 .H56 1986
|
Introduction to combinators and [lambda]-calculus / |
1 |
QA9.54
|
Axiomatic thinking. Sequents and trees : an introduction to the theory and applications of propositional sequent calculi / Theoremus : a student's guide to mathematical proofs / Proving in the elementary mathematics classroom / Ordinal analysis with an introduction to proof theory / An introduction to mathematical proofs / |
6 |
QA9.54 .A75 1993
|
Arithmetic, proof theory, and computational complexity / |
1 |
QA9.54 .A99 2006eb
|
Tracking reason : proof, consequence, and truth / |
1 |
QA9.54 .B46 2000
|
The moment of proof : mathematical epiphanies / |
1 |
QA9.54 .B55 2015eb
|
Proof theory : sequent calculi and related formalisms / |
1 |
QA9.54 .C67 2016eb
|
Concepts of proof in mathematics, philosophy, and computer science / |
1 |
QA9.54 .C86 2005 QA9.54 QA9.54.C86 2005
|
The Nuts and Bolts of Proofs. |
1 |