数学基礎論リンク集

http://www.uni-bonn.de/logic/world.html

http://www.gac.edu/oncampus/academics/philosophy/llogic.html

http://hkusuc.hku.hk/philodep/directory/

http://www.math.ufl.edu/~jal/set_theory.html

http://www.cis.syr.edu/~sanchis/setory.html

http://math.cs.kitami-it.ac.jp/~kada/html/link_o.html

http://phil.flet.mita.keio.ac.jp/person/sagisawa/analyticphil_link.htm

http://www.philosophypages.com/dy/

http://www.swif.it/foldop/

http://plato.stanford.edu/

http://www.utm.edu/research/iep/

http://www.cs.man.ac.uk/~pt/Practical_Foundations/

http://www.umcs.maine.edu/~chaitin/lowell.html

http://www.math.psu.edu/simpson/Foundations.html

http://www.shayashi.jp/history/

http://www.jpnc.jp/unlade/homepage/incomplete/

http://front.math.ucdavis.edu/math.LO

http://philsci-archive.pitt.edu/

http://www.marxists.org/reference/subject/philosophy/

http://www.mizar.org/

http://markun.cs.shinshu-u.ac.jp/kiso/projects2/proofchecker/mizar/Mizar-J/Miz-tit.htm

http://www.math.psu.edu/simpson/fom/