Formal number theory and computability : a workbook /

Bibliographic Details

Main Author:	Fisher, Alec
Format:	Book
Language:	English
Published:	Oxford [Oxfordshire] : New York : Clarendon Press ; Oxford University Press, 1982.
Series:	Oxford logic guides ; 7. Oxford science publications.
Subjects:	Number theory. Gödel's theorem. Incompleteness theorems.