Formal number theory and computability : a workbook

著者

• Fisher, Alec

書誌事項

Formal number theory and computability : a workbook

by Alec Fisher

（Oxford logic guides, 7）

Clarendon Press, 1982

• : pbk

注記

Bibliography: p. [187]-188

Includes index

詳細情報

• NII書誌ID(NCID): BA00017776
• ISBN:
  • 0198531788
  • 0198531885
• LCCN: 82008055
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Oxford [Oxfordshire]
• ページ数/冊数: xiii, 190 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA241
  • DC19 : 512/.72
  • NDC8 : 412.1
• 件名:
  • LCSH : Numbers, Theory of
  • LCSH : Gödel's theorem
  • LCSH : Incompleteness theorems
  • NDLSH : 整数論
• 親書誌ID:
  • BA00017765