From 39d70281f5ec42ed6c24b2740a16e427ec57fefb Mon Sep 17 00:00:00 2001
From: Cyrille Rossant <cyrille.rossant@gmail.com>
Date: Mon, 31 Aug 2015 21:24:16 +0200
Subject: [PATCH] Foundations

---
 README.md | 121 ++++++++++++++++++++++++++++++++++++++++++++++--------
 1 file changed, 105 insertions(+), 16 deletions(-)

diff --git a/README.md b/README.md
index 0e9b15e..7378506 100644
--- a/README.md
+++ b/README.md
@@ -2,29 +2,118 @@
 
 A curated list of awesome mathematics resources.
 
-## Learning platforms
+## Foundations of mathematics
+
+### Set theory
+
+* [Set Theory on the Stanford Encyclopedia of Philosophy](http://plato.stanford.edu/entries/set-theory/)
+* [An introduction to set theory](http://www.math.toronto.edu/weiss/set_theory.pdf) - William A. R. Weiss
+* [Set Theory and Foundations of Mathematics](http://www.settheory.net/) - Sylvain Poirier
+* [Set Theory on Wikibooks](https://en.wikibooks.org/wiki/Set_Theory)
+
+### Logic
+
+* [Language, proof, and logic](http://ssdi.di.fct.unl.pt/~pb/cadeiras/lc/0102/lpl%20textbook.pdf) - Jon Barwise, John Etchemendy
+* [Introduction to logic](http://logic.stanford.edu/intrologic/chapters/cover.html) - Michael Genesereth, Eric Kao (Stanford University)
+* [A problem course in mathematical logic](http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf) - Stefan Bilaniuk (Trent University)
+* [An introduction to formal logic](https://textbookequity.org/oct/Textbooks/Magnus_forallx.pdf) - P.D. Magnus (University at Albany)
+* [Formal logic](http://maude.sip.ucm.es/~miguelpt/papers/flogic.pdf) - Miguel Palomino
+* [Mathematical logic](http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf) - Helmut Schwichtenberg
+* [Mathematical logic](http://www.personal.psu.edu/t20/notes/logic.pdf) - Stephen G. Simpson (Pennsylvania State University)
+
+## Arithmetic
+
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Algebra
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Analysis
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Combinatorics
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Geometry and topology
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Probability and statistics
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Numerical Analysis
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+## Computer algebra
+
+* []()
+* []()
+* []()
+* []()
+* []()
+* []()
+
+
+
+## Websites
+
+### Learning platforms
 
 * [Khan Academy](https://www.khanacademy.org/math)
 * [Coursera](https://www.coursera.org/courses?query=mathematics&languages=en)
 * [Wikibooks](https://en.wikibooks.org/wiki/Wikibooks:Mathematics_bookshelf)
-* [MathOverflow](http://mathoverflow.net/)
 
-## Foundations of mathematics
+### Questions and answers
 
-* []()
+* [Mathematics Stack Exchange](http://math.stackexchange.com/)
+* [MathOverflow](http://mathoverflow.net/) - for professional mathematicians
 
-## Arithmetic
+### Encyclopedia
 
-## Algebra
+* [Encyclopedia of Mathematics](https://www.encyclopediaofmath.org)
+* [Wolfram Mathworld](http://mathworld.wolfram.com/)
+* [Planetmath](http://planetmath.org/)
 
-## Analysis
+### Misc
 
-## Combinatorics
-
-## Geometry and topology
-
-## Probability and statistics
-
-## Numerical Analysis
-
-## Computer algebra
+* [Areas of mathematics on Wikipedia](https://en.wikipedia.org/wiki/Areas_of_mathematics)