1. Mathematics as a Numerical Language. In: Intuitionism and Proof Theory, ed. by et al., North-Holland, Amsterdam 1970.
2. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
3. Introduction to Metamathematics, 5th Reprinting. Van Nostrand, New York 1967.
4. On a Theorem of Läuchli Concerning Proof Bundles. Manuscript 1970.