Logic and structure (Q5891768)
From MaRDI portal
scientific article; zbMATH DE number 6085890
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic and structure |
scientific article; zbMATH DE number 6085890 |
Statements
Logic and structure (English)
0 references
25 September 2012
0 references
This is a new edition of a brilliant book, covering propositional and predicate logic, completeness, second-order logic, intuitionistic logic, natural deduction and normalization, and, finally, Gödel's incompleteness theorem, where each chapter is accompanied with exercises. It constitutes an enlargement of the previous editions [Zbl 0434.03001; Zbl 0714.03001; Zbl 0807.03001; Zbl 1048.03001] by a section on ultraproducts.
0 references
propositional logic
0 references
predicate logic
0 references
completeness
0 references
second-order logic
0 references
intuitionistic logic
0 references
normalization
0 references
Gödel's incompleteness theorem
0 references
ultraproduct
0 references
