For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You