Inhaltsangabe
Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Gödel's theorem.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Gödel's theorem.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
![9780387128313: Logic and structure [Paperback] by D. van Dalen](http://assets.prod.abebookscdn.com/cdn/shared/images/common/loading/collections-spinner.gif)
