| parent folder | - | - |
| - | An Introduction to the Theory of Surreal Numbers - Harry Gonshor (1986).pdf | 4334958 | 2025-10-20 15:07:37 |
| - | Basic Category Theory - Tom Leinster (2025).pdf | 1244772 | 2025-10-21 01:10:06 |
| - | Calculabilité Aléatoires Mathématiques à Rebours et Hypercalculabilité - Benoît Monin, Ludovic Patey (2022).pdf | 12800125 | 2025-12-08 02:44:43 |
| - | Category Theory in Context - Emily Riehl (2014).pdf | 1504770 | 2025-01-26 07:26:06 |
| - | Computability - Benoît Monin, Ludovic Patey (2023).pdf | 12281972 | 2025-12-08 02:08:44 |
| - | Computability Theory an Introduction to Recursion Theory - Herbert B Enderton (2011).pdf | 2056227 | 2025-12-08 01:26:12 |
| - | Introduction to Set Theory - Karel Hrbacek, Thomas Jech (1999).pdf | 11393773 | 2025-10-19 15:17:18 |
| - | Mathematics in Lean - Jeremy Avigad, Patrick Massot (2025).pdf | 1241571 | 2025-09-28 05:32:43 |
| - | Model Theory - Wilfrid Hodges (2008).pdf | 69810448 | 2025-06-11 08:53:53 |
| - | On Numbers and Games - John Horton Conway (2001).pdf | 25875038 | 2025-10-19 15:12:12 |
| - | Proof Complexity - Jan Krajíček (2019).pdf | 2407300 | 2025-10-20 14:49:15 |
| - | Recursion Theory for Metamathematics - Raymond M Smullyan (1993).pdf | 7579956 | 2025-12-08 01:34:21 |
| - | Set Theory - Kenneth Kunen (1992).pdf | 21458766 | 2025-10-19 15:16:05 |
| - | Set Theory - Thomas Jech (2006).pdf | 4978167 | 2025-10-19 15:17:52 |
| - | Sheaf Theory Through Examples - Daniel Rosiak (2022).pdf | 6679545 | 2025-11-02 08:46:20 |
| - | Topology - James R Munkres (2000).pdf | 30716284 | 2025-12-07 15:42:42 |
| - | Winning Ways for Your Mathematical Plays Volume 1 - Elwyn R Berlekamp, John Horton Conway, Richard K Guy (2001).pdf | 19151164 | 2025-10-19 15:14:02 |
| - | Winning Ways for Your Mathematical Plays Volume 2 - Elwyn R Berlekamp, John Horton Conway, Richard K Guy (2003).pdf | 12949870 | 2025-10-19 15:23:49 |
| - | Winning Ways for Your Mathematical Plays Volume 3 - Elwyn R Berlekamp, John Horton Conway, Richard K Guy (2003).pdf | 21155990 | 2025-10-20 14:58:53 |
| - | Winning Ways for Your Mathematical Plays Volume 4 - Elwyn R Berlekamp, John Horton Conway, Richard K Guy (2004).pdf | 12417882 | 2025-10-20 14:59:07 |