Theory of formal systems

著者

• Smullyan, Raymond M.

書誌事項

Theory of formal systems

by Raymond M. Smullyan

（Annals of mathematics studies, no. 47）

Princeton University Press, 1961

注記

"This study is a revision of the author's recent doctoral dissertation [31]."--Pref

Bibliography: 141-142

詳細情報

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