TY - BOOK AU - Zulauf A TI - Logical and set-theoritical foundations of mathematics U1 - 511.3 PY - 1969/// CY - Edinburgh PB - Oliver and Boyd KW - Mathematical logic KW - Set theory ER -