Libri di nonclassical mathematical logic

Contraddizione ed incompletezza

Algebraic and proof-theoretic aspects of non-classical logics