From 1e59467d187ec63583614c42ea8f4193dfdd35dd Mon Sep 17 00:00:00 2001 From: Jack Dolgin Date: Mon, 3 Aug 2020 10:56:30 -0400 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 9fb0a48..ba2efcf 100644 --- a/README.md +++ b/README.md @@ -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