Fisher, Alec Formal number theory and computability. A workbook. (English) Zbl 0504.03002 Oxford Logic Guides, 7. Oxford: Oxford University Press. XIII, 190 p. £16.00; £6.95 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations Keywords:mathematical logic; Goedel theorem; halting problem; Pressburger’s complete theory of addition PDFBibTeX XML