Kurt Godel/ Solomon Feferman (EDT)/ Stephen C. Kleene (EDT)/ Gregory H. Moore (EDT)/ John W. Dawson Jr. (EDT)/ Robert M. Solovay (EDT)/ Jean Van Heijenoort (EDT)
（1）
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded b
Kurt G del was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice
