Enter search terms Delivering Great Search Results© BETA

Topic: Science / Math / Logic and Foundations

Subtopics of "Logic and Foundations"

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

Related topics:

Philosophy (Artificial Intelligence)      Logic-based (Languages)

Philosophy of Language (Philosophy)      Mathematics (Philosophy of Science)

Web pages on "Logic and Foundations":

Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
http://www.logic.univie.ac.at/abstract/

Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
http://plato.stanford.edu/entries/logic-classical/

Computability Logic Homepage
Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
http://www.cis.upenn.edu/~giorgi/cl.html

Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
http://www.ltn.lv/~podnieks/mlog/ml.htm

Logic
Wikipedia article.
http://en.wikipedia.org/wiki/Logic

Logic
Open Encyclopedia entry. Hierarchically organized by subareas.
http://open-site.org/Science/Mathematics/Logic/

Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.
http://front.math.ucdavis.edu/math.LO

Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

Mathematical Logic around the World
A rich collection of links to logic-related websites.
http://www.uni-bonn.de/logic/world.html

Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
http://nl.ijs.si/~damjan/g-m-c.html

©2004 ChaBook