Foundations of Mathematical Logic The author of Alice in

The author of Alice in Wonderland (and an Oxford professor of mathematics) employs the fanciful format of a play set in Hell to take a hard look at late-19th-century interpretations of Euclidean geometry

and some of the designs are truly beautiful

It focuses on the construction of mathematical proofs as well as their final content

through the tortuous labyrinth of the Egyptian mind itself

Foundations of Mathematical Logic The author of Alice inThis book is a thoroughly documented and comprehensive account of the constructive theory of the first order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then