From 5810053bb1696779759678cab8fa88d5b1938388 Mon Sep 17 00:00:00 2001 From: Cyrille Rossant Date: Mon, 31 Aug 2015 21:42:07 +0200 Subject: [PATCH] Number theory --- README.md | 29 ++++++++++++++++++----------- 1 file changed, 18 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 7378506..244952e 100644 --- a/README.md +++ b/README.md @@ -6,28 +6,36 @@ A curated list of awesome mathematics resources. ### 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 the Stanford Encyclopedia of Philosophy](http://plato.stanford.edu/entries/set-theory/) * [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 +* [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 * [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) +* [Formal logic](http://maude.sip.ucm.es/~miguelpt/papers/flogic.pdf) - Miguel Palomino -## Arithmetic +### Homotopy type theory -* []() -* []() -* []() -* []() -* []() +* [Homotopy type theory](https://hottheory.files.wordpress.com/2013/03/hott-online-611-ga1a258c.pdf) + + +## Number theory + +* [Elementary Number Theory: Primes, Congruences, and Secrets](http://wstein.org/ent/ent.pdf) - William Stein +* [Elementary Number Theory](http://www.iiserpune.ac.in/~ayan/MTH312/%28127%29.pdf) - W. Edwin Clark (University of South Florida) +* [A Course on Number Theory](http://www.maths.qmul.ac.uk/~pjc/notes/nt.pdf) - Peter J. Cameron +* [A Computational Introduction to Number Theory and Algebra](http://shoup.net/ntb/ntb-v2.pdf) - Victor Shoup +* [Number Theory: A Contemporary Introduction](http://math.uga.edu/~pete/4400FULL.pdf) - Pete L. Clark +* [Introduction to Algebraic Number Theory](http://www1.spms.ntu.edu.sg/~frederique/ANT10.pdf) +* [Algebraic Number Theory](http://www.jmilne.org/math/CourseNotes/ANT.pdf) - J.S. Milne +* [Algebraic Number Theory Course Notes](http://people.math.gatech.edu/~mbaker/pdf/ANTBook.pdf) - Matthew Baker (Georgia Tech) ## Algebra @@ -37,7 +45,6 @@ A curated list of awesome mathematics resources. * []() * []() * []() -* []() ## Analysis