Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Mathematical method and proof
2006
Jeremy Avigad
Synthese 153/1