TY  - BOOK
AU  - Fisher, Alec
TI  - FORMAL NUMBER THEORY AND COMPUTABILITY
U1  - 511.3 
PY  - 1982///
CY  - Oxford
PB  - Clarendon
KW  - Logic, Symbolic And Mathematical
N1  - Bibliography : P. 187-188
ER  -