Zulauf, A. Modern introduction to pure mathematics : Logical and sat-theoretical foundations of mathematics / - 1969. Subjects--Index Terms: Mathematics