Logic and structure (Q5891768): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:19, 5 March 2024
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