| Joseph R. Shoenfield - Mathematics - 2018 - 356 pages
This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical ... | |
| Stephen Cole Kleene - Mathematics - 2013 - 416 pages
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including ... | |
| Hao Wang - Mathematics - 2014 - 292 pages
Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, proof theory, logic ... | |
| S. Barry Cooper, J. van Leeuwen - Mathematics - 2013 - 944 pages
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical ... | |
| Micha? Walicki - Mathematics - 2012 - 268 pages
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for ... | |
| Howard DeLong - Mathematics - 2012 - 320 pages
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 ... | |
| Raymond M. Smullyan - Mathematics - 2014 - 304 pages
Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related ... | |
| B. Jack. Copeland - Science - 2004 - 620 pages
Alan Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his ... | |
| P.T. Saunders - Computers - 1992 - 131 pages
The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and ... | |
| |