Image from Syndetics
Formal number theory and computability : a workbook / Alec Fisher.
By: Fisher, Alec
.
Material type: 
BookSeries: Oxford logic guides ; 7.Publisher: Oxford : Clarendon, 1982Description: xiii, 193 p. : ill. ; 24 cm.ISBN: 0198531788 ; 0198531885 .Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
Contents:
Part I: The formalization of number theory -- Part II: Computability, incompleteness and undecidability.
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Lending | 511.3 (Browse shelf(Opens below)) | 1 | Available | 00038770 |
Total holds: 0
Bibliography: (pages 187-188) and index.
Part I: The formalization of number theory -- Part II: Computability, incompleteness and undecidability.