Books by Andrzej Indrzejczak

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.