From 40fd77e06e5dbf880499bb382fb2ab663be0aa80 Mon Sep 17 00:00:00 2001 From: Cyrille Rossant Date: Sat, 4 Jun 2016 16:23:20 +0200 Subject: [PATCH] Fix #6 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 98fc171..61ef9b5 100644 --- a/README.md +++ b/README.md @@ -93,7 +93,7 @@ A curated list of awesome mathematics resources. ### Logic -* [Introduction to Logic](http://logic.stanford.edu/intrologic/chapters/cover.html) - Michael Genesereth, Eric Kao (Stanford University) +* [Introduction to Logic](http://logic.stanford.edu/intrologic/secondary/index.html) - Michael Genesereth, Eric Kao (Stanford University) * [An Introduction to Formal Logic](https://textbookequity.org/oct/Textbooks/Magnus_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://ssdi.di.fct.unl.pt/~pb/cadeiras/lc/0102/lpl%20textbook.pdf) - Jon Barwise, John Etchemendy