TY  - BOOK
AU  - Goodstein,R.L.
TI  - Mathematical logic
AV  - QA9.G69 1961 
PY  - 1961///
CY  - Boch
PB  - Leicester University Press
KW  - Mathematics
KW  - Philosophy
KW  - Logic
KW  - symbolic and mathematical
ER  -