 Logic and Set Theory around the World  Sylvain Poirier
Research groups and departments in the foundations of mathematics and computer science (logic, set theory, model theory, theoretical computer science, proof theory, programming languages). Browse the listing by geographic region. See also Poirier's index of organizations, publications, blogs, mailing lists, software, and more.
more>>
 LO Logic (Front for the Mathematics ArXiv)  Univ. of California, Davis
Logic preprints, from the U.C. Davis front end for the xxx.lanl.gov ePrint archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives. Search by keyword or browse by topic.
more>>
 Mathematical Logic and Foundations  Dave Rusin; The Mathematical Atlas
A short article designed to provide an introduction to mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosphy that we can distinguish semantic reasoning ("what is true?") from syntactic reasoning ("what can be shown?"). The first leads to Model Theory, the second, to
Proof Theory. History; applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus.
more>>
 Set Theory and Foundations (MathPages)  Kevin Brown
About 30 "informal notes" by Kevin Brown on set theory and foundations: what is fuzzy logic, fractal logic, Cantor's diagonal proof, are all triangles isosceles?, on Gauss's mountains, problems with the luminiferous aether, and many more.
more>>
 
