Dag Prawitz on proofs and meaning

著者

• Wansing, Heinrich

書誌事項

Dag Prawitz on proofs and meaning

editor, Heinrich Wansing

（Outstanding contributions to logic, v. 7）

Springer, c2015

• : pbk

注記

Includes bibliographical references

"ISSN:22112766(electronic), ISBN:9783319110417(ebook)" -- T.p.verso

"Softcover reprint of the hardcover 1st edition 2015"--T.p. verso of paperback edition

詳細情報

• NII書誌ID(NCID): BB19370731
• ISBN:
  • 9783319110400
  • 9783319360317
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xiii, 458 p.
• 大きさ: 25 cm
• 分類:
  • NDC8 : 116
• 件名:
  • LCSH : Logic
  • LCSH : Proof theory
  • LCSH : Metamathematics
  • LCSH : Prawitz, Dag, 1936-
• 親書誌ID:
  • BB14796033