Title: Mathematical logic and the foundations of mathematics
First published: 1963