Priest's Introduction to Non-Classical Logic is my textbook ... while those followed-up philosophical discussions it summarizes for each logic system are both concise and lucid. It is not only a work ...

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and ...