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년