The Oxford Handbook of Philosophy of Mathematics and Logic The Oxford Handbook of Philosophy of Mathematics and Logic
2005
Varieties of Logic Varieties of Logic
2014
Philosophy of Mathematics Philosophy of Mathematics
1997
Classical First-Order Logic Classical First-Order Logic
2022
The History of Continua The History of Continua
2020
Friedrich Waismann Friedrich Waismann
2019