Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.