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 Frank Atanassow (again) BRICS Arthur Buchsbaum Peter Cameron Paolo Caressa Category Theory 101 Wiki Drexel Math Forum Adam Eppendahl Excite Functional Mathematics Haskell Bookshelf Haskell Wiki Hypography R B Jones Daikoku Manabu Just Pasha Psyche Joseph Kiniry Greg Lavender Paul-André Melliès Qoolsqool Algebra RU.math Alexander Sakharov Siddartha Salvador Vera UFRGS (PT) Google Directory on Logic and Foundations