| | Open Logic Project (openlogicproject.org) |
| 3 points by synthetictask on Jan 4, 2025 | past |
|
| | For All X: An Introduction to Formal Logic (openlogicproject.org) |
| 2 points by lordleft on July 12, 2024 | past |
|
| | Forall x: An Introduction to formal logic (openlogicproject.org) |
| 2 points by debanjan16 on June 3, 2023 | past |
|
| | Set Theory – An Open Introduction by Tim Button [pdf] (openlogicproject.org) |
| 28 points by rawgabbit on Feb 4, 2023 | past |
|
| | Open Logic Project (openlogicproject.org) |
| 216 points by mckern on July 2, 2022 | past | 18 comments |
|
| | Open Logic Project Builds (openlogicproject.org) |
| 1 point by walterbell on April 25, 2022 | past |
|
| | Open Logic Project (openlogicproject.org) |
| 3 points by mindcrime on Nov 12, 2021 | past |
|
| | Open Logic Project: Open-Source Logic Textbooks (openlogicproject.org) |
| 1 point by lordleft on Aug 24, 2021 | past |
|
| | Open Logic Project: Open-Source, Customizable, Advanced Logic Text (openlogicproject.org) |
| 3 points by lijunkang on Dec 2, 2020 | past |
|
| | Tim Button’s Open Set Theory Now Part of the Open Logic Project (openlogicproject.org) |
| 2 points by jgwil2 on Feb 3, 2020 | past |
|
| | Incompleteness and Computability (openlogicproject.org) |
| 2 points by kqr2 on Jan 14, 2020 | past |
|
| | Fitch-style proof editor and checker (openlogicproject.org) |
| 1 point by pplonski86 on Dec 18, 2018 | past |
|
| | Open Logic Project: An Open-Source, Collaborative Logic Text (openlogicproject.org) |
| 60 points by markhkim on Aug 11, 2018 | past | 8 comments |
|
| | The Open Logic Project (openlogicproject.org) |
| 64 points by altro on July 28, 2015 | past | 12 comments |
|
| | The Open Logic Text (openlogicproject.org) |
| 1 point by Schiphol on May 5, 2015 | past |
|
