A. Heyting: opere
- 1931 Die intuitionistische Grundlegung der Mathematik, [rif.]
- La fondazione intuizionista della matematica, Einaudi, Torino, 1999
- in: L. Wittgenstein, Osservazioni filosofiche
- 1956 Intuitionism. An Introduction, North-Holland, Amsterdam, [rif.]