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）
This reprint of Kleene's 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a var
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
