Alasdair urquhart on nonclassical and algebraic logic and complexity of proofs
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030714321
Date de publication :
26 sept. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic.