THE TWO-VALUED ITERATIVE SYSTEMS OF MATHEMATICAL LOGIC - Post, Emil Leon (Princeton Princeton University Press, 1941)
University Microfilms Reprint
Keywords: Logic, Symbolic And Mathematical