Popular Lectures on Mathematical Logic

Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic's relationship to computer science, more. Includes 3 appendixes. Bibliography. 1981 edition.Wang, Hao is the author of 'Popular Lectures on Mathematical Logic' with ISBN 9780486676326 and ISBN 0486676323.