Web This Category Category Images in Arts in Business in Computers in Games in Health in Home in Kids and Teens in News in Recreation in Reference in Regional in Science in Shopping in Society in Sports   Here: Home> Science> Math> Logic and Foundations

Sub Category

> Computability (13) > Computational Logic (34) > Directories (16) > Education (22) > Foundations (8) > Game Semantics (13) > History (113) > Institutions (68) > Knowledge Representation and Planning (1) > Meetings (187) > Model Theory (4) > Nonstandard Logics and Extensions (145) > Online Discussion Groups (3) > Organizations (15) > People (138) > Proof Theory (17) > Publications (33) > Set Theory (78) > Software (29) *  Dawned Category

Site in the Category Logic and Foundations: 9                     Add a Site      Modify a Site

Classical Logic Introduction to classical logic, including completeness and Lwenheim-Skolem theorems; by Stewart Shapiro. Computability Logic Homepage Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. Introduction to Mathematical Logic Hyper-textbook for students by V. Detlovs and K. Podnieks. Logic Wikipedia article. Logic Open Encyclopedia entry. Hierarchically organized by subareas. Math Front: LO Logic Front end for the logic section of the mathematics e-print arXiv. Mathematical Logic and Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. Mathematical Logic around the World A rich collection of links to logic-related websites. Mind Versus Goedel by Damjan Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

Home | Add Site | Modify Site | New Site | Tecnoseek in your site

Copyright © 1998-2007 Tecnonet