2 livres dans ce genre
Contraddizione ed incompletezza
Nicola Grana
Algebraic and proof-theoretic aspects of non-classical logics