| Howard DeLong - Philosophy - 2004 - 304 pages
Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles ... | |
| Rebecca Goldstein - Biography & Autobiography - 2006 - 296 pages
A portrait of the eminent twentieth-century mathematician discusses his theorem of incompleteness, relationships with such contemporaries as Albert Einstein, and untimely death ... | |
| 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 ... | |
| Peter Smith - Mathematics - 2007
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 ... | |
| |