Undecidable theories

著者

• Tarski, Alfred
• Mostowski, Andrzej
• Robinson, Raphael M. (Raphael Mitchel)

書誌事項

Undecidable theories

In collaboration with Andrzej Mostowski and Raphael M. Robinson

（Studies in logic and the foundations of mathematics）

North-Holland Pub. Co., 1968

[2d printing]

注記

Bibliography: p. 89-91

詳細情報

• NII書誌ID(NCID): BA07633439
• LCCN: 68132612
• 出版国コード: ne
• タイトル言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xi, 101 p
• 大きさ: 23 cm
• 分類:
  • LCC : QA9
  • DC : 164
• 件名:
  • LCSH : Gödel's theorem
• 親書誌ID:
  • BA00099329