Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Author(s)

• Düntsch, Ivo
• Mares, Edwin

Bibliographic Information

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

Note

Includes bibliographical references

Details

• NCID: BC10285302
• ISBN:
  • 9783030714291
• LCCN: 2021448495
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xiii, 586 p.
• Size: 25 cm
• Classification:
  • LCC : QA10
• Subject Headings:
  • LCSH : Urquhart, Alasdair
  • LCSH : Algebraic logic
  • LCSH : Lattice theory
• Parent Bibliography ID:
  • BB14796033