Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

著者

• Düntsch, Ivo
• Mares, Edwin

書誌事項

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Ivo Düntsch, Edwin Mares, editors

（Outstanding contributions to logic, v. 22）

Springer, c2022

注記

Includes bibliographical references

• NII書誌ID(NCID): BC10285302
• ISBN:
  • 9783030714291
• LCCN: 2021448495
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xiii, 586 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA10
• 件名:
  • LCSH : Urquhart, Alasdair
  • LCSH : Algebraic logic
  • LCSH : Lattice theory
• 親書誌ID:
  • BB14796033