- 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 e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives. Search by keyword or browse by topic. | |