TY  - BOOK
AU  - Bostock, David
AU  - 
TI  - Logic and arithmetic: Natural numbers
U1  - 517.1 
PY  - 1974///
CY  - London
PB  - Oxford University
KW  - logic and arithmetic
KW  - Mathematical analysis
ER  -