| | Open Logic Project (openlogicproject.org) |
|
3 points by synthetictask 3 months ago | past
|
|
| | For All X: An Introduction to Formal Logic (openlogicproject.org) |
|
2 points by lordleft 9 months ago | 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 peanutcrisis 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
|
|
