This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other.If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources.If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.
Top / Science / Math / Logic and Foundations

Logic and Foundations

Sub Directory

  • Computability
  • Computational Logic
  • Directories
  • Education
  • Foundations
  • Game Semantics
  • History
  • Institutions
  • Knowledge Representation and Planning
  • Meetings
  • Model Theory
  • Nonstandard Logics and Extensions
  • Online Discussion Groups
  • Organizations
  • People
  • Proof Theory
  • Publications
  • Set Theory
  • Software

    • Relate Directory

  • Artificial Intelligence / Philosophy
  • Languages / Logic-based
  • Philosophy / Philosophy of Language
  • Philosophy of Science / Mathematics

    • Alias Directory

  • Category Theory
  • Philosophy of Logic

    • Site

  • Mathematical Logic and Foundations
    From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
  • Mind Versus Goedel by Damjan Bojadziev
    Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
  • Classical Logic
    Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
  • Mathematical Logic around the World
    A rich collection of links to logic-related websites.
  • Introduction to Mathematical Logic
    Hyper-textbook for students by V. Detlovs and K. Podnieks.
  • Computability Logic Homepage
    Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

    • Web Search

  • The Math Forum - Math Library - Logic/Foundations
    URL : mathforum.org/library/topics/logic
    Mathematical Logic and Foundations - Dave Rusin; The Mathematical Atlas. A short article designed to provide an introduction to mathematical deduction. ...[2010/08/26]
  • Logic and Foundations of Mathematics & Computer Science
    URL : logic.math.uoa.gr
    You must enable cookies before you can log in. Forgot your password? Info. Logic and Foundations of Mathematics & Computer Science. ASL Newsletter. Document Actions ...[2010/08/29]
  • Mathematical Logic and Foundations
    URL : www.math.niu.edu/~rusin/known-math/index/03-XX.html
    From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.[2010/09/02]
  • Foundations of mathematics - Wikipedia, the free encyclopedia
    URL : en.wikipedia.org/wiki/Foundations_of_mathematics
    Foundations of mathematics is a term sometimes used for certain ... In this view, the laws of nature and the laws of mathematics have a similar status, and the effectiveness ...[2010/08/19]
  • Foundations of Mathematics
    URL : sakharov.net/foundation.html
    Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.[2009/02/19]
  • UM Mathematics-Logic
    URL : www.math.lsa.umich.edu/research/logic
    The permanent faculty who specialize in Logic and Foundations are Peter G. Hinman and Andreas R. Blass. ... Math 481 and 582 are largely taken by undergraduate concentrators in ...[2010/08/19]
  • Logic and Foundations Math
    URL : www.iaswww.com/apr/Science/Math/Logic_and_Foundations
    Logic and Foundations Math This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX ...[2010/08/31]
  • Logic and Foundations of Mathematics & Computer Science
    URL : logic.math.uoa.gr/search?Subject:list=Journal
    Subject: Computer Science, Mathematics and Statistics, Philosophy, Logic, Mathematical Logic and Foundations and Computational Linguistics ...[2010/08/13]
  • Second-Order Logic and Foundations of Mathematics
    URL : www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf
    order logic is based on rules and axioms ([Hen50]) which guarantee that the ... For the foundations of mathematics and attempts to formalize mathematics ...[2001/08/21]
  • Foundations of mathematics: Information from Answers.com
    URL : www.answers.com/topic/foundations-of-mathematics
    foundations of mathematics Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods[2010/08/29]
    • Top / Science / Math / Logic and Foundations
    Help build the largest human-edited directory on the web.
    Submit a Site - Open Directory Project - Become an Editor
    ©www.freeaq.net - 2010
    POWERED BY FreeBSD 7.0