6433 results in Logic, categories and Sets
10 - Set-Theoretic Methods in Model Theory
-
- Book:
- Modern Mathematical Logic
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022, pp 349-366
-
- Chapter
- Export citation
5 - Relationships between Structures
-
- Book:
- Modern Mathematical Logic
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022, pp 130-164
-
- Chapter
- Export citation
2 - Induction and Recursion
-
- Book:
- Modern Mathematical Logic
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022, pp 11-40
-
- Chapter
- Export citation
4 - First-Order Logic: Languages and Structures
-
- Book:
- Modern Mathematical Logic
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022, pp 90-129
-
- Chapter
- Export citation
Reviews
-
- Book:
- Modern Mathematical Logic
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022, pp i-ii
-
- Chapter
- Export citation
7 - Predicate Logic Syntax and Semantics
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 109-128
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp i-iv
-
- Chapter
- Export citation
Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 11-12
-
- Chapter
- Export citation
13 - Sneak Peek at Mathematical Logic II: Gödel’s Incompleteness Theorem
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 256-265
-
- Chapter
- Export citation
0 - Introduction and Overview
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 1-10
-
- Chapter
- Export citation
12 - The Completeness Theorem
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 231-255
-
- Chapter
- Export citation
Preface
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp xi-xii
-
- Chapter
- Export citation
Dedication
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp v-vi
-
- Chapter
- Export citation
10 - Working with Predicate Logic Proofs
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 178-210
-
- Chapter
- Export citation
Contents
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp vii-x
-
- Chapter
- Export citation
4 - Proof by Deduction
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 53-68
-
- Chapter
- Export citation
2 - Propositional Logic Semantics
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 24-40
-
- Chapter
- Export citation
Cheatsheet - Axioms and Axiomatic Inference Rules Used in This Book
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 266-267
-
- Chapter
- Export citation
11 - The Deduction Theorem and Prenex Normal Form
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 211-230
-
- Chapter
- Export citation
3 - Logical Operators
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 41-52
-
- Chapter
- Export citation