| 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 ... | |
| 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 ... | |
| 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 ... | |
| Thomas Drucker - Mathematics - 2008 - 195 pages
This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical ... | |
| 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 ... | |
| Lawrence M Graves - Mathematics - 2012 - 400 pages
This balanced introduction covers all fundamentals, from the real number system and point sets to set theory and metric spaces. Useful references to the literature conclude ... | |
| Hao Wang - Mathematics - 2014 - 292 pages
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys ... | |
| 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 ... | |
| Peter Smith - Mathematics - 2013
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical ... | |
| |