TY  - BOOK
AU  - Goodstein, R. L..
TI  - Development of mathematical logic
U1  - 511.3 
PY  - 1971///
CY  - London
PB  - Logos Press Ltd.
KW  - Logic, Symbolic and mathematical
N1  - ENG
ER  -