# Links

* CMU: http://oli.cmu.edu/
* ByMath: HTTP://WWW.BYMATH.COM/STUDYGUIDE/ALG/ALG\_TOPICS.HTML
* Funmath: http://www.funmath.be/
* Math solutions: http://mathsolutions.com/index.cfm

## Algebraic Set Theory

http://www.phil.cmu.edu/projects/ast/index.html http://www.phil.cmu.edu/projects/ast/links.html

## Paul Taylor

http://www.paultaylor.eu/\~pt/prafm/

Introduction to Algorithms: http://www.paultaylor.eu/algorithms/ Commutative Diagrams in TeX: http://www.paultaylor.eu/diagrams/ Formal Mathematical Proofs in TeX: http://www.paultaylor.eu/proofs/ Domain theory: http://www.paultaylor.eu/domains/ Stable Domain Theory: http://www.paultaylor.eu/stable/ Proofs and Types: http://www.paultaylor.eu/stable/Proofs+Types Undergraduate Mathematics Lecture Notes: http://www.paultaylor.eu/tripos/

Gauss's second proof of the fundamental theorem of algebra http://www.paultaylor.eu/misc/gauss-web

Induction, recursion, replacement and the ordinals http://www.paultaylor.eu/ordinals/

## Practical Foundations of Mathematics by Paul Taylor

_Practical Foundations of Mathematics_ Read Online http://www.cs.man.ac.uk/\~pt/Practical\_Foundations/html/index.html http://www.cs.man.ac.uk/\~pt/Practical\_Foundations/html/summary.html http://www.cs.man.ac.uk/\~pt/Practical\_Foundations/errata2.html

[Algebraic Set Theory](http://www.phil.cmu.edu/projects/ast/links.html) [Frank Atanassow](http://homepages.cwi.nl/~atanasso/ref) [(again)](http://www.cs.uu.nl/wiki/Techno/ProgrammingLanguageTheoryTextsOnline) [BRICS](http://brics.dk/Activities/CCT/literature.html) [Arthur Buchsbaum](http://wwwexe.inf.ufsc.br/~arthur/index.php?page=liames/logica\&lang=en) [Peter Cameron](http://www.maths.qmul.ac.uk/~pjc/slc/) [Paolo Caressa](http://www.caressa.it/matematica.html) [Category Theory 101 Wiki](http://tunes.org/wiki/Category_Theory_101) [Drexel Math Forum](http://mathforum.org/library/topics/category_theory/) [Adam Eppendahl](http://homepage.mac.com/a.eppendahl/work/arith-univ.html) [Excite](http://www.excite.co.uk/directory/Science/Math/Logic_and_Foundations/Foundations) [Functional Mathematics](http://www.funmath.be/) [Haskell Bookshelf](http://www.mirrorservice.org/sites/www.haskell.org/bookshelf/) [Haskell Wiki](http://www.haskell.org/haskellwiki/Books_and_tutorials) [Hypography](http://www.hypography.com/links.cfm?id=9407) [R B Jones](http://www.rbjones.com/rbjpub/philos/bibliog/t.htm) [Daikoku Manabu](http://lang.x0.com/misc/foumath.htm) [Just Pasha](http://www.justpasha.org/math/links/books/online.html) [Psyche](http://www.psyche.com/psyche/links/physics_math.html) [Joseph Kiniry](http://secure.ucd.ie/~kiniry/projects_01.html) [Greg Lavender](http://www.cs.utexas.edu/~lavender/reading.html) [Paul-André Melliès](http://www.pps.jussieu.fr/~mellies/bibliotheque.html) [Qoolsqool Algebra](http://www.qoolsqool.com/index.php?search=algebra) [RU.math](http://fnmath.chat.ru/rumath/urls-ino.html) [Alexander Sakharov](http://sakharov.net/foundation_rt.html) [Siddartha](http://people.csa.iisc.ernet.in/siddu/readlist.html) [Salvador Vera](http://www.satd.uma.es/matap/svera/links/matnet12.html) [UFRGS (PT)](http://teia.inf.ufrgs.br/linksInteressantes.html) [Google Directory on Logic and Foundations](http://directory.google.com/Top/Science/Math/Logic_and_Foundations/Foundations)
