TY - BOOK AU - Goodstein, R.L. TI - Development of mathematical logic SN - 0236176692 U1 - 511.3 PY - 1971/// CY - London PB - ; Logos Press KW - Mathematical Logic KW - Mathematics ER -