Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Perennial intuitionism
2016
Johan G. Granström
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
Treatise on intuitionistic type theory
2011
Dordrecht, Springer
