Expressing consistency : Godel's second incompleteness theorem and intensionality in metamathematics

著者

• Auerbach, David D.

書誌事項

Expressing consistency : Godel's second incompleteness theorem and intensionality in metamathematics

by David D. Auerbach

[MIT Document Services], c1978

注記

Photocopy. Thesis (Ph.D.) -- Massachusetts Institute of Technology, 1978

詳細情報

• NII書誌ID(NCID): BA57608965
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Cambridge, Mass.]
• ページ数/冊数: 132 p.
• 大きさ: 28 cm
• 件名:
  • FREE : Gödel, Kurt, 1906-1978