Classical First-Order Logic Classical First-Order Logic
2022
Varieties of Logic Varieties of Logic
2014
Philosophy of Mathematics Philosophy of Mathematics
1997
The History of Continua The History of Continua
2020
Friedrich Waismann Friedrich Waismann
2019
Mathematical Structuralism Mathematical Structuralism
2018