A Profile of Mathematical Logic

This introduction to mathematical logic explores philosophical issues and G�del's Theorem. Its widespread influence extends to the author of G�del, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this work.

This text explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import. 1971 edition. Includes 22 figures and 19 tables. Appendixes. Bibliography. Indexes.