Synopsis
Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Gödel's theorem.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
