2 books in this genre
Contraddizione ed incompletezza
Nicola Grana
Algebraic and proof-theoretic aspects of non-classical logics
