Noted logician's lucid treatment of historical developments, set theory, model theory, recursion theory and constructivism, proof theory, more. Accessible to readers at varying levels of mathematical sophistication. Includes 3 appendixes. Bibliography. 1981 edition.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.