Formal number theory and computability: a workbook/
Fisher, Alec
Formal number theory and computability: a workbook/ by Alec Fisher. - Oxford: Clarendon Press, 1982. - xiii, 190 p.: ill.; 25 cm. - Oxford logic guides; 7 Oxford science publications. .
Includes index.
Bibliography: p. [187]-188.
0198531788 : $19.50
82008055 //r92
Number theory.
Godel's theorem.
Incompleteness theorems.
511.3 / F533f
Formal number theory and computability: a workbook/ by Alec Fisher. - Oxford: Clarendon Press, 1982. - xiii, 190 p.: ill.; 25 cm. - Oxford logic guides; 7 Oxford science publications. .
Includes index.
Bibliography: p. [187]-188.
0198531788 : $19.50
82008055 //r92
Number theory.
Godel's theorem.
Incompleteness theorems.
511.3 / F533f