Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofsby Ivo Düntsch, Edwin MaresWriting a summary for young readers…For young readersBook data: Open Library