Repository | Directory | Profile
Frege
Kant
Wittgenstein
(2000-2009)
Proof-theoretic semantics for classical mathematics
2006
William W. Tait
Synthese 148/3
