Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, pro

An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins of

A Mathematical Introduction to Logic

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.