[ifrss] [ifrss]
Kamusta - The Pinoy Web Directory - Philippines
Melibea Web Directory  |  Save your Bookmarks

Top: Science: Math: Logic_and_Foundations:

Logic and Foundations

Categories:

See Also:
This category in other languages:

French, German, Italian, Russian, Spanish

Sites:

» Classical Logic Open in a new browser window - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
» Computability Logic Homepage Open in a new browser window - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
» Introduction to Mathematical Logic Open in a new browser window - Hyper-textbook for students by V. Detlovs and K. Podnieks.
» Logic Open in a new browser window - Open Encyclopedia entry. Hierarchically organized by subareas.
» Math Front: LO Logic Open in a new browser window - Front end for the logic section of the mathematics e-print arXiv.
» Mathematical Logic and Foundations Open in a new browser window - 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 Open in a new browser window - A rich collection of links to logic-related websites.
» Mind Versus Goedel by Damjan Bojadziev Open in a new browser window - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.


Newsgroups:
Category Editor: giorgi

Last Updated:


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory