Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Monographien
Treatise on intuitionistic type theory
2011
Johan G. Granström
Dordrecht, Springer
