Undecidable theories

著者

• Tarski, Alfred
• Mostowski, Andrzhei︠a︡
• Robinson, Raphael M. (Raphael Mitchel)

書誌事項

Undecidable theories

Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson

（Dover books on mathematics）

Dover Publications, 2010, c1953

Dover ed

タイトル別名

Undecidable theories : studies in logic and the foundation of mathematics

注記

Originally published: Amsterdam : North-Holland Pub., 1953

詳細情報

• NII書誌ID(NCID): BB03672684
• ISBN:
  • 9780486477039
• LCCN: 2010019851
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Mineola, N.Y.
• ページ数/冊数: ix, 98 p.
• 大きさ: 22 cm
• 分類:
  • LCC : QA9
  • DC22 : 510.1
• 件名:
  • LCSH : Metamathematics
• 親書誌ID:
  • BA04873505