Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
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.