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
Mathematical Structuralism Mathematical Structuralism
2018