The Great Formal Machinery Works

"Von Plato's book is a lively and provocative history of mathematical logic, centered on the game-changing discoveries of Godel, Turing, and Gentzen. Every mathematician interested in foundations will enjoy this book, and will likely lose some misconceptions as well as gain new insights."--John Stillwell, author of Elements of Mathematics: From Euclid to Godel