دانلود کتاب Logic and structure

فهرست مطالب :

Cover......Page 1
Title Page......Page 5
Preface......Page 7
Contents......Page 11
0 Introduction......Page 13
1.1 Propositions and Connectives......Page 17
1.2 Semantics......Page 27
1.3 Some Properties of Propositional logic......Page 33
1.4 Natural Deduction......Page 42
1.5 Completeness......Page 52
1.6 The Missing Connectives......Page 61
2.1 Quantifiers......Page 69
2.2 Structures......Page 70
2.3 The Language of a Similarity Type......Page 72
2.4 Semantics......Page 80
2.5 Simple Properties of Predicate Logic......Page 85
2.6 Identity......Page 93
2.7 Examples......Page 95
2.8 Natural Deduction......Page 103
2.9 Adding the Existential Quantifier......Page 108
2.10 Natural Deduction and Identity......Page 111
3.1 The Completeness Theorem......Page 115
3.2 Compactness and Skolem-Löwenheim......Page 123
3.3 Some Model Theory......Page 130
3.4 Skolem Functions or How to Enrich Your Language......Page 147
4 Second Order Logic......Page 155
5.1 Constructive Reasoning......Page 165
5.2 Intuitionistic Propositional and Predicate Logic......Page 168
5.3 Kripke Semantics......Page 174
5.4 Some Model Theory......Page 185
6.1 Cuts......Page 199
6.2 Normalization for Classical Logic......Page 204
6.3 Normalization for Intuitionistic Logic......Page 210
7.1 Primitive recursive functions......Page 221
7.2 Partial Recursive Functions......Page 230
7.3 Recursively enumerable sets......Page 242
7.4 Some arithmetic......Page 248
7.5 Representability......Page 254
7.6 Derivability......Page 258
7.7 Incompleteness......Page 263
Bibliography......Page 269
Index......Page 271