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