The first major text he published on foundations, which was based on lecture courses he had given, was Introduction to the foundations of mathematics (1952).
Ang unang malaking text siya nai-publish sa komunidad, na kung saan ay batay sa panayam ng kurso niya na binigay, ay Panimula sa pundasyon ng matematika (1952).