From a16bd354bb37f90a01ed6f66fffb90a5d1c0b124 Mon Sep 17 00:00:00 2001 From: Cyrille Rossant Date: Wed, 10 Mar 2021 08:47:50 +0100 Subject: [PATCH] Fix dead link. Closes #67 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 65524ae..f8b2155 100644 --- a/README.md +++ b/README.md @@ -166,7 +166,7 @@ A curated list of awesome mathematics resources. ### Logic -* [Introduction to Logic](http://logic.stanford.edu/intrologic/secondary/index.html) - Michael Genesereth, Eric Kao (Stanford University) +* [Introduction to Logic](https://pdfs.semanticscholar.org/6967/f52773d9c2ccfc94658657a5761e0f00e95a.pdf) - Michael Genesereth, Eric Kao (Stanford University) * [An Introduction to Formal Logic](https://www.fecundity.com/codex/forallx.pdf) - P.D. Magnus (University at Albany) * [A Problem Course in Mathematical Logic](http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf) - Stefan Bilaniuk (Trent University) * [Language, Proof, and Logic](http://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.pdf) - Jon Barwise, John Etchemendy