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... This description may be from another edition of this product.