>>101381031. Start with "Real World Haskell"
2. Then go through each chapter of "
learncpp.com"
3. Read "Category Theory for Programmers"
4. Read the first volume of Software Foundations
5. Read "Propositional and Predicate Calculus: A Model of Argument"
6. Read "Proofs and Refutations" the logic of mathematical discovery
7. Get some mathematic ability by solving the exercises from "Concrete Mathematics" by Donald Knuth and at the same time Polya's "How to Solve it"
8. Read "From Geometry to Topology"
9. Follow it with "Elements of Abstract Algebra"
10. Read "A Pathway Into Number Theory:" by R. P. Burn
11. Read the Second Volume of Software Foundations
12. Read Munkres' "Topology"
13. Then read "Algebra: Chapter 0" by Aluffi
14. Read "Type and Programming Languages"
15. Read Hatcher's "Algebraic Topology"
16. Read "Homotopy Type Theory"
17. Read "Proof Theory and Logical Complexity" by Girard
18. Read "Naive Set Theory" by Halmos
19. Read "Linear Algebra Problem Book"
20. Read "Real Mathematical Analysis" by Charles Pugh
21. Read "Model Theory" by David Marker
22. Read "Finite-Dimensional Vector Spaces" by Halmos.
23. Read "Introduction to Automata Theory, Languages, and Computation"
24. Read "Ideals, Varieites, and Algorithms"
25. Read the first volume of "Feynman's Lectures of Physics"
26. Read "Visual Complex Analysis" by Needham
27. Read "Category Theory in Context"
28. Read "A Classical Introduction to Number Theory"
29. Read the first volume of "A Course of Theoretical Physics" by Landau and Lifshitz
30. Read "Probability: The Science of Logic" by E. T. Jaynes
31. Read "Functional Analysis" by Walter Rudin
32. Read "Nonlinear Dynamic and Chaos"
33. Read "Categories for the Working Mathematician"
34. Read "Information and Randomness: An Algorithmic Perspective" by Claude
35. Read "A Course in Universal Algebra"
36. Read "Introduction to Analytic Number Theory
37. Read "Topoi: The Categorial Analysis of Logic"
38. Read Savage's "The Foundations of Statistics"