TY - BOOK AU - Beth Evert W TI - Foundations of mathematics: study in the philosophy of science U1 - 511.3 PY - 1959/// CY - Amsterdam PB - North-Holland KW - Mathematical logic ER -