Central and East EuropeanSociety for Phenomenology
Repository | Directory | Profile
(2000-2009)
Proof-theoretic semantics for classical mathematics
2006
William W. Tait
Synthese 148/3
