QA9.2 .A43 2022
|
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs / |
1 |
QA9.2 .B657 2018eb
|
The continued exercise of reason : public addresses / |
1 |
QA9.2 .C45 2007eb
|
Mathematical logic / |
1 |
QA9.2 .D48 1986
|
Hilbert's program : an essay on mathematical instrumentalism / |
1 |
QA9.2 .F44 1998
|
In the light of logic / |
1 |
QA9.2.F44 1998 QA9.2 .F44 1998eb
|
In the Light of Logic. |
1 |
QA9.2 .F67 2014
|
Formalism and beyond : on the nature of mathematical discourse / |
1 |
QA9.2 .M36 2003eb
|
Mathematical logic in the 20th century / |
1 |
QA9.2 .M87 2010eb
|
Essays in the philosophy and history of logic and mathematics / |
1 |
QA9.2 .P372 2014eb
|
Philosophy of mathematics in the twentieth century : selected essays / |
1 |
QA9.2 .T68 2003
|
Lectures in logic and set theory / |
1 |
QA9.25
|
Reverse mathematics : problems, reductions, and proofs / |
1 |
QA9.25 .H56 2017
|
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / |
1 |
QA9.25 .O57 2008
|
Realizability : an Introduction to its Categorical Side. |
1 |
QA9.3 .L59 2023
|
R-calculus. |
1 |
QA9.3 .S43 1982
|
Classical propositional operators : an exercise in the foundations of logic / |
1 |
QA9.3 ǂb H36 2009eb
|
Handbook of Satisfiability : Handbook of Satisfiability. |
1 |
QA9.35
|
Modern quantification theory : joint graphical display, biplots, and alternatives / Optimal quantification and symmetry / Measurement, mathematics and new quantification theory / Analysis of categorical data from historical perspectives : essays in honour of Shizuhiko Nishisato / |
4 |
QA9.35 .F47
|
The computational complexity of logical theories / |
1 |
QA9.37 .D52
|
Large infinitary languages : model theory / |
1 |