01348nam 2200433 450 991052291680332120231110220854.03-030-71430-6(CKB)4100000012036765(MiAaPQ)EBC6734365(Au-PeEL)EBL6734365(OCoLC)1281957093(EXLCZ)99410000001203676520220624d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAlasdair Urquhart on nonclassical and algebraic logic and complexity of proofs /edited by Ivo Düntsch, Edwin MaresCham, Switzerland :Springer,[2022]©20221 online resource (591 pages)Outstanding Contributions to Logic ;v.223-030-71429-2 Includes bibliographical references.Outstanding Contributions to Logic Lattice theoryLattice theory.511.3Düntsch IvoMares Edwin DavidMiAaPQMiAaPQMiAaPQBOOK9910522916803321Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs2883059UNINA