|
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
|
Measurement, mathematics and new quantification theory /
Analysis of categorical data from historical perspectives : essays in honour of Shizuhiko Nishisato /
Modern quantification theory : joint graphical display, biplots, and alternatives /
Optimal quantification and symmetry / |
4 |
|
QA9.35 .F47
|
The computational complexity of logical theories / |
1 |
|
QA9.37 .D52
|
Large infinitary languages : model theory / |
1 |
|
QA9.37 .I43
|
Infinitary logic : in memoriam Carol Karp / |
1 |
|
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 .L37 1976
|
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / |
1 |
|
QA9.4 .P75 2008
|
An Introduction to Non-Classical Logic : From If to Is |
1 |
|
QA9.45 .M35 1993
|
Many-valued logics / |
1 |