511.3 / F531f
Fisher, Alec
FORMAL NUMBER THEORY AND COMPUTABILITY
/ A WORK-BOOK
.- Oxford: Clarendon, 1982
.- xiii,190 .
.- ( Oxford Logic Guides
Bibliography : P. 187-188
Subject Headings:
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A79342, Full Call No.: 511.3 F531f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------