5570 results in Programming Languages and Applied Logic
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
5 - Working with Proofs
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 69-83
-
- Chapter
- Export citation
Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 107-108
-
- Chapter
- Export citation
9 - Deductive Proofs of Predicate Logic Formulas
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 143-177
-
- Chapter
- Export citation
1 - Propositional Logic Syntax
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 13-23
-
- Chapter
- Export citation
6 - The Tautology Theorem and the Completeness of Propositional Logic
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 84-106
-
- Chapter
- Export citation
8 - Getting Rid of Functions and Equality
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 129-142
-
- Chapter
- Export citation
Index
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 268-272
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811087/20847/cover/9781108720847.jpg)
Mathematical Logic and Computation
-
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022
![](https://assets.cambridge.org/97811089/49477/cover/9781108949477.jpg)
Mathematical Logic through Python
-
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022
Contents
-
- Book:
- Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022, pp xi-xiv
-
- Chapter
- Export citation
Chapter 1 - Results
-
- Book:
- Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022, pp 1-30
-
- Chapter
- Export citation