Formal number theory and computability a workbook
Fisher, Alec
Formal number theory and computability a workbook by Alec Fisher - Oxford [Oxfordshire] Clarendon Press 1982 - xiii, 190 p. ill. 25 cm. - Oxford logic guides 7 Oxford science publications .
Includes index
Godel's theorem
Incompleteness theorems
Number theory
512 / .72
Formal number theory and computability a workbook by Alec Fisher - Oxford [Oxfordshire] Clarendon Press 1982 - xiii, 190 p. ill. 25 cm. - Oxford logic guides 7 Oxford science publications .
Includes index
Godel's theorem
Incompleteness theorems
Number theory
512 / .72