Chapters from Gödels Unfinished Book on Foundational Research in Mathematics

The book features English translations of Gödel's significant works on logicism, antinomies, and the foundations of pure logic, along with outlines for a chapter on metamathematics. It includes a comprehensive collection of his reading notes, offering insights into his thought process and the development of his ideas in mathematical logic. This volume serves as a valuable resource for understanding Gödel's contributions to the field.