TY - BOOK AU - Zulauf A TI - Logical and Set-Theoretical foundations of mathematics U1 - B:R1, K91.1 PY - 1969/// KW - Logic ER -