Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Proof-theoretic semantics for classical mathematics
2006
William W. Tait
Synthese 148/3
