Mathematical Logic and the Foundations of Mathematics

This graduate level textbook introduces the historical development of the philosophy of mathematics, with chapters on symbolic logic, Hilbert's metamathematics, G del's theorems, recursive arithmetic, the axiomatic theory of sets, and the application of mathematics to the natural world. Originally published in 1963 by D. Van Nostrand. Annotation c.