Theory of formal systems

著者

• Smullyan, Raymond M.

書誌事項

Theory of formal systems

by Raymond M. Smullyan

（Annals of mathematics studies, no. 47）

Princeton University Press, [preface, 1962]

Rev. ed

注記

Includes bibliographical references (p. 141-142) and index

詳細情報

• NII書誌ID(NCID): BA25912423
• LCCN: 60014063
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Princeton, N.J.
• ページ数/冊数: vii, 147 p
• 大きさ: 24 cm
• 分類:
  • LCC : QA248.5
  • DC : 512.8
  • NDC8 : 411.6
• 件名:
  • LCSH : Recursive functions
  • LCSH : Metamathematics
• 親書誌ID:
  • BA00300336