Proof theory

著者

• 竹内, 外史 タケウチ, ガイシ

書誌事項

Proof theory

Gaisi Takeuti

Dover Publications, 2013

2nd ed

注記

Includes bibliographies and index

"This dover edition, first publicationed in 2013, is an unabridged republication of the work originally published in 1987 by North-Holland, Amsterdam, as volume 81 in the series studies in logic and the foundations of mathematics. the first edition was published in 1975"--T.p. verso

• NII書誌ID(NCID): BB12021927
• ISBN:
  • 9780486490731
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: x, 490 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.54
  • DC19 : 511.3
• 件名:
  • LCSH : Proof theory