TY  - BOOK
AU  - Goodstein R. L.
TI  - Development of mathematical logic
U1  - B:R1, L11 
PY  - 1971///
KW  - Logic
ER  -