The Oxford Handbook of Philosophy of Mathematics and Logic The Oxford Handbook of Philosophy of Mathematics and Logic
2005
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
Mathematical Structuralism Mathematical Structuralism
2018