Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Logic/Foundations

Library Home || Search || Full Table of Contents || Suggest a Link || Library Help

  Subcategories   (see also All Sites in this category)
  Selected Sites   (see also All Sites in this category)

  1. 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>>

  2. 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.