Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Alle Bücher
Foundational theories of classical and constructive mathematics
2011
herausgegeben vonGiovanni Sommaruga
Dordrecht, Springer
History and philosophy of constructive type theory
2000
Giovanni Sommaruga
