TY - BOOK AU - Fisher, Alec TI - Formal number theory and computability: A workbook U1 - 511.3 F531F PY - 1982/// CY - Oxford PB - Clarendon Press ER -