Modern introduction to pure mathematics : Logical and sat-theoretical foundations of mathematics - Zulauf, A. (1969)