×

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).

MSC:

03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations