Awesome-Mirrors/awesome-math
1
0
Fork 0
mirror of https://github.com/rossant/awesome-math.git synced 2024-10-01 01:15:40 -04:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Jack Dolgin 2020-08-03 10:56:30 -04:00 committed by GitHub
parent 07c4472c5b
commit 1e59467d18
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -165,6 +165,7 @@ A curated list of awesome mathematics resources.
* [Predictive Arithmetic](https://web.math.princeton.edu/~nelson/books/pa.pdf) - Edward Nelson
* [Proofs and Concepts: the fundamentals of abstract mathematics](http://people.uleth.ca/~dave.morris/books/proofs+concepts.html) - Joy Morris, Dave Morris
* [Mathematical Reasoning: Writing and Proof](https://www.tedsundstrom.com/mathreasoning) - Ted Sundstrom
* [Logic and Proof](http://leanprover.github.io/logic_and_proof/) - Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn
### Category Theory