TY  - BOOK
AU  - Bostock, David
TI  - LOGIC AND ARITHMATIC
U1  - 511.3 
PY  - 1974///
CY  - Oxford
PB  - At The Clarendon Press
KW  - Logic
KW  - Arithmetic
N1  - Ref. : P. 215-216
ER  -