| | Category Theory (logicmatters.net) |
|
17 points by Schiphol 4 months ago | past | 2 comments
|
|
| | Beginning Mathematical Logic: A Study Guide (2022) (logicmatters.net) |
|
2 points by kensai on Sept 28, 2023 | past | 1 comment
|
|
| | Smith's notes on Category Theory I updated (logicmatters.net) |
|
2 points by KurtGodelLives on May 2, 2023 | past | 1 comment
|
|
| | Does mathematics need a philosophy? (logicmatters.net) |
|
102 points by furcyd on Feb 15, 2023 | past | 162 comments
|
|
| | Gödel Without (Too Many) Tears – draft of new edition (logicmatters.net) |
|
4 points by KurtGodelLives on Sept 22, 2022 | past | 1 comment
|
|
| | Philosophy of mathematics – a reading list (2020) (logicmatters.net) |
|
261 points by keiferski on Sept 20, 2022 | past | 115 comments
|
|
| | NF is consistent – proof partly in LEAN (logicmatters.net) |
|
4 points by kmt-lnh on Aug 24, 2022 | past
|
|
| | Beginning Mathematical Logic: A Study Guide [Expanded New Version] (logicmatters.net) |
|
2 points by KurtGodelLives on Feb 2, 2022 | past | 1 comment
|
|
| | Category Theory: Lecture Notes and Online Books (logicmatters.net) |
|
129 points by coalgebraic on Dec 30, 2021 | past | 26 comments
|
|
| | Gödel Without (Too Many) Tears (logicmatters.net) |
|
2 points by Schiphol on July 20, 2021 | past
|
|
| | Feferman's Virtual Book: Logic, Mathematics, and Conceptual Structuralism (logicmatters.net) |
|
1 point by furcyd on May 1, 2021 | past
|
|
| | An Introduction to Formal Logic (logicmatters.net) |
|
1 point by wyclif on April 20, 2021 | past
|
|
| | Smith's *Gödel Without (Too Many) Tears* book is now free PDF (logicmatters.net) |
|
1 point by KurtGodelLives on Jan 13, 2021 | past
|
|
| | Gödel Without (Too Many) Tears – much downloaded notes, now a short book (logicmatters.net) |
|
3 points by HilbertsProgram on Nov 24, 2020 | past
|
|
| | Gödel Without (Too Many) Tears – new version, posting a short chapter a day (logicmatters.net) |
|
9 points by HilbertsProgram on Sept 1, 2020 | past | 1 comment
|
|
| | Smith's Introduction to Formal Logic (philosophy textbook) now free to download (logicmatters.net) |
|
1 point by HilbertsProgram on Aug 21, 2020 | past
|
|
| | Gödel News (logicmatters.net) |
|
1 point by pcw888 on Aug 7, 2020 | past
|
|
| | An Introduction to Godel's Theorems (Second Edition) [pdf] (logicmatters.net) |
|
120 points by furcyd on Aug 7, 2020 | past | 39 comments
|
|
| | Teach Yourself Logic 2020:A Study Guide [pdf] (logicmatters.net) |
|
20 points by butterthebuddha on Feb 12, 2020 | past | 2 comments
|
|
| | Updated page of links to online resources on category theory (logicmatters.net) |
|
3 points by HilbertsProgram on Nov 27, 2019 | past
|
|
| | Philosophy and its relations to the special sciences; C.D. Broad [1923) [pdf] (logicmatters.net) |
|
1 point by furcyd on Oct 13, 2019 | past
|
|
| | Category Theory: Lecture Notes and Online Books (logicmatters.net) |
|
42 points by logicbundle on April 20, 2019 | past | 2 comments
|
|
| | Category theory – A gentle introduction [pdf] (logicmatters.net) |
|
24 points by furcyd on Dec 26, 2018 | past | 2 comments
|
|
| | Teach Yourself Logic: A Study Guide [pdf] (logicmatters.net) |
|
392 points by furcyd on Dec 25, 2018 | past | 44 comments
|
|
| | LaTeX for Logicians (logicmatters.net) |
|
1 point by lainon on Aug 29, 2018 | past
|
|
| | Teach Yourself Logic 2017: A Study Guide [pdf] (logicmatters.net) |
|
257 points by adamnemecek on Aug 28, 2017 | past | 43 comments
|
|
| | Teach Yourself Logic 2017: A Study Guide [pdf] (logicmatters.net) |
|
3 points by ingve on May 30, 2017 | past
|
|
| | Teach Yourself Logic: A Study Guide (logicmatters.net) |
|
11 points by kesor on Jan 8, 2017 | past
|
|
| | Category Theory Resources (logicmatters.net) |
|
3 points by kercker on Aug 9, 2016 | past
|
|
| | Springer make many logic books freely downloadable (logicmatters.net) |
|
2 points by svisser on Dec 29, 2015 | past
|
|
|
|
More |
