Mathematical logic books
Number of “orphaned rows”: 13. Can you write a review to help other learners?
Number of rows with non-empty reviews: 0
| Title | Type | Subjects | Authors | Language | Audience | Reviews | URLs | Last checked | License |
|---|---|---|---|---|---|---|---|---|---|
| The Open Logic Text | Book | Computability Counterfactuals First-order logic Incompleteness theory Intuitionistic logic Lambda calculus Many-valued logic Model theory Normal modal logics Propositional logic Second-order logic Set theory Turing machines |
The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| Sets, Logic, Computation: An Open Introduction to Metalogic | Book | Set theory First-order logic Turing machines |
The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| forall x: Calgary: An Introduction to Formal Logic | Book | First-order logic Modal logic |
Magnus, P. D. Button, Tim Trueman, Robert Zach, Richard Loftis, J. Robert Thomas-Bolduc, Aaron |
English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| Incompleteness and Computability: An Open Introduction to Gödel’s Theorems | Book | Incompleteness theory | The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| Boxes and Diamonds: An Open Introduction toModal Logic | Book | Counterfactuals Intuitionistic logic Normal modal logics |
The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| Set Theory: An Open Introduction | Book | Set theory | The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| Intermediate Logic: An Open Introduction | Book | First-order logic | The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| What if?: An Open Introduction to Non-Classical Logics | Book | Non-classical logics | The Open Logic Project contributors | English | Undergrad | PDF Site |
2023-11-19 | CC BY 4.0 DEED | |
| Book of Proof | Book | Proof theory | Hammack, Richard | English | Undergrad | PDF Site |
2023-12-22 | CC BY-NC-ND 4.0 DEED | |
| Book of Proof | Book | Proof theory | Hammack, Richard | Turkish | Undergrad | PDF Site |
2023-12-22 | CC BY-NC-ND 4.0 DEED | |
| Mathematical Reasoning: Writing and Proof | Book | Proof theory | Sundstrom, Ted | English | Undergrad | PDF Videos Site Site |
2023-12-22 | CC BY-NC-SA 3.0 DEED | |
| A Gentle Introduction to the Art of Mathematics | Book | Proof theory | Fields, Joseph E. | English | Undergrad | PDF Videos Sources Site Site |
2023-12-22 | GNU Free Documentation License | |
| Actual Causality | Book | Causality theory | Halpern, Joseph Y. | English | Grad | PDF Web Site |
2023-12-22 | CC BY-NC-ND 4.0 DEED | |