Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
in English (2000-2009)
History and philosophy of constructive type theory
2000
Giovanni Sommaruga
Dordrecht, Springer
