| Howard DeLong - Philosophy - 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 ... | |
| Gerard O’Regan - Computers - 2012 - 288 pages
This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and ... | |
| 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. Starting with the basics of set theory, induction and computability, it covers propositional and first ... | |
| 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 ... | |
| 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 ... | |
| Hao Wang - Philosophy - 2016 - 444 pages
First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate ... | |
| |