The Great Formal Machinery Works – Theories of Deduction and Computation at the Origins of the Digital Age

"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

"Von Plato covers an immense territory with an impressive amount of novel things to say. He has written a very original book that is a major scholarly contribution to the history of logic."--Paolo Mancosu, author of The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940

"This is a fine book that offers an informed and informative discussion of the development of modern mathematical logic."--Raymond Turner, professor emeritus, University of Essex