Popular Lectures On Mathematical Logic

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.