Logic and Foundations (Math)

Logic and Foundations further on these related pages:

Category Theory@ Computability Computational Logic Directories Education Foundations Game Semantics History Institutions Knowledge Representation and Planning

Meetings Model Theory Nonstandard Logics and Extensions Organizations People Philosophy of Logic@ Proof Theory Publications Set Theory Software

Top/Computers/Artificial Intelligence/Philosophy Top/Computers/Programming/Languages/Logic-based Top/Society/Philosophy/Philosophy of Language Top/Society/Philosophy/Philosophy of Science/Mathematics

Logic and Foundations Sites:

Logic Logic: Open Encyclopedia entry. Hierarchically organized by subareas. (Logic and Foundations) http://open-site.org/Science/Mathematics/Logic/ Abstract Service Abstract Service: An archive of abstracts of logic articles at the Institute for Logic, University of Vienna. (Logic and Foundations) http://www.logic.univie.ac.at/abstract/ Mind Versus Goedel by Damjan Bojadziev Mind Versus Goedel by Damjan Bojadziev: Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. (Logic and Foundations) http://nl.ijs.si/~damjan/g-m-c.html Mathematical Logic and Foundations Mathematical Logic and Foundations: From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. (Logic and Foundations) http://www.math.niu.edu/~rusin/known-math/index/03-XX.html Computability Logic Homepage Computability Logic Homepage: Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. (Logic and Foundations) http://www.cis.upenn.edu/~giorgi/cl.html Classical Logic Classical Logic: Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. (Logic and Foundations) http://plato.stanford.edu/entries/logic-classical/ Math Front: LO Logic Math Front: LO Logic: Front end for the logic section of the mathematics e-print arXiv. (Logic and Foundations) http://front.math.ucdavis.edu/math.LO Introduction to Mathematical Logic Introduction to Mathematical Logic: Hyper-textbook for students by V. Detlovs and K. Podnieks. (Logic and Foundations) http://www.ltn.lv/~podnieks/mlog/ml.htm Mathematical Logic around the World Mathematical Logic around the World: A rich collection of links to logic-related websites. (Logic and Foundations) http://www.uni-bonn.de/logic/world.html