|
QA9.4
|
Arnon Avron on semantics and proof theory of non-classical logics / |
1 |
|
QA9.4 .E77 2001
|
Essays on Non-Classical Logic. |
1 |
|
QA9.4 .P75 2008
|
An Introduction to Non-Classical Logic : From If to Is |
1 |
|
QA9.45 .M35 1993
|
Many-valued logics / |
1 |
|
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
|
An introduction to mathematical proofs /
Proving in the elementary mathematics classroom /
Ordinal analysis with an introduction to proof theory /
Sequents and trees : an introduction to the theory and applications of propositional sequent calculi /
Axiomatic thinking.
Theoremus : a student's guide 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 |