Author Description

A collection of 23 papers on mathematical logic covering such subjects as set theory, proof theory, truth functions, techniques of deduction, and other topics, written between 1934 and 1960.