Formal number theory and computability : a workbook

Author(s)

• Fisher, Alec

Bibliographic Information

Formal number theory and computability : a workbook

by Alec Fisher

（Oxford logic guides, 7）

Clarendon Press, 1982

• : pbk

Note

Bibliography: p. [187]-188

Includes index

Details

• NCID: BA00017776
• ISBN:
  • 0198531788
  • 0198531885
• LCCN: 82008055
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Oxford [Oxfordshire]
• Pages/Volumes: xiii, 190 p.
• Size: 25 cm
• Classification:
  • LCC : QA241
  • DC19 : 512/.72
  • NDC8 : 412.1
• Subject Headings:
  • LCSH : Numbers, Theory of
  • LCSH : Gödel's theorem
  • LCSH : Incompleteness theorems
  • NDLSH : 整数論
• Parent Bibliography ID:
  • BA00017765