Gentzen's centenary : the quest for consistency

著者

• Kahle, Reinhard
• Rathjen, Michael

書誌事項

Gentzen's centenary : the quest for consistency

Reinhard Kahle, Michael Rathjen editors

Springer, c2015

• : pbk.

注記

Includes bibliographical references

"This volume is tribute by several generations of proof theorists to Gerhard Gentzen," -- pref.

• NII書誌ID(NCID): BB20224318
• ISBN:
  • 9783319101026
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: x, 561 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 511.36
• 件名:
  • LCSH : Gentzen, Gerhard
  • LCSH : Proof theory