Repository | People

127253

References

Johan G. Granström

in English

X
Perennial intuitionism

2016

in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer

Treatise on intuitionistic type theory

2011

Dordrecht, Springer