Recursion theory for metamathematics

著者

• Smullyan, Raymond M.

書誌事項

Recursion theory for metamathematics

Raymond M. Smullyan

（Oxford logic guides, 22）

Oxford University Press, 1993

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA19515633
• ISBN:
  • 019508232X
• LCCN: 92040495
• 出版国コード: us
• タイトル言語コード: eng
• 出版地: New York
• ページ数/冊数: xiv, 163 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.6
  • DC20 : 511.3/5
• 件名:
  • LCSH : Recursion theory
• 親書誌ID:
  • BA00017765