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.