Formal number theory and computability
Subtitle: a workbook
By: by Alec Fisher.
Series: Oxford logic guides ;; 7; Oxford science publications
Publisher: Clarendon Press
Published: 1982
Place of publication: Oxford [Oxfordshire]
Language: eng
Number of pages: 190
Subjects: Number theory.; Gödel's theorem.; Incompleteness theorems.
Notes: Bibliography: p. [187]-188.
Includes index.