Proof theory and algebra in logic

著者

• 小野, 寛晰 オノ, ヒロアキラ

書誌事項

Proof theory and algebra in logic

Hiroakira Ono

（Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman）

Springer, c2019

注記

Includes bibliographical references (p. 151-156) and index

詳細情報

• NII書誌ID(NCID): BB28915469
• ISBN:
  • 9789811379963
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore
• ページ数/冊数: viii, 160 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.54
  • DC23 : 511.3
• 件名:
  • LCSH : Proof theory
  • LCSH : Algebraic logic
• 親書誌ID:
  • BB25542547