商品簡介
Delong's classic, written for those with no more than high school mathematics, describes how traditional logic, which remained intact and virtually sacrosanct from the Stoics to the nineteenth century, changed substantially when confronted with the rediscovery and application of non-Euclidean geometry and set theory. When mathematical logic emerged, with the formal axiomatic method and the metatheories of propositional and predicate calculi, it passed into the theory of recursive functions and the metatheories of arithmetic and set functions and on to philosophical implications. This edition includes the original problems and their solutions, annotated bibliography, and appendices by Lewis Carroll. Cited in Books for College Libraries, 3d ed. The Dover edition is a reprint of the 1970 work. Annotation c2004 Book News, Inc., Portland, OR (booknews.com)