The blind spot : lectures on logic

著者

• Girard, Jean-Yves

書誌事項

The blind spot : lectures on logic

Jean-Yves Girard

European Mathematical Society, c2011

注記

Includes bibliography (p. [509]-515) and index

詳細情報

• NII書誌ID(NCID): BB07036550
• ISBN:
  • 9783037190883
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Zürich
• ページ数/冊数: xiii, 537 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.54
  • DC23 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Proof theory