Science Central - All about Science

Friday, 20 November, 2009

search

for
Directories
 
Category:  Science » Math » Logic and Foundations SUBMIT A SITE

Logic and Foundations

Order by  Popularity  |  Alphabet

Sites

Records 1-10 of 10
 
Sponsored Links:

Introduction to Mathematical Logic (Popularity: )

Hyper-textbook for students by V. Detlovs and K. Podnieks.

Logic (Popularity: )

Wikipedia article.

Classical Logic (Popularity: )

Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

Computability Logic Homepage (Popularity: )

Main online source on computability logic, - a recently emerged formal theory of computational tasks ...

Mathematical Logic around the World (Popularity: )

A rich collection of links to logic-related websites.

Math Front: LO Logic (Popularity: )

Front end for the logic section of the mathematics e-print arXiv.

Mathematical Logic and Foundations (Popularity: )

From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related ...

Abstract Service (Popularity: )

An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.

Logic (Popularity: )

Open Encyclopedia entry. Hierarchically organized by subareas.

Mind Versus Goedel by Damjan Bojadziev (Popularity: )

Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

 
 

Sub categories
Computability (12) Computational Logic (34) Directories (16)
Education (23) Foundations (7) Game Semantics (13)
History (111) Institutions (67) Knowledge Representation and Planning (2)
Meetings (205) Model Theory (4) Nonstandard Logics and Extensions (147)
Organizations (15) People (135) Proof Theory (17)
Publications (38) Set Theory (77) Software (26)

© 2005-2008 Science Central. All Rights Reserved