Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, proof theory, logic's relation to computer science, and other subjects. 1981 ...