SD701 Open Directory

$SillyDog701\$

You are here: SillyDog701 > Open Directory >

SD701 Open Directory

Knowledge Representation and Planning (2)
Model Theory (4)
Nonstandard Logics and Extensions (119)
Philosophy of Logic@ (103)
Proof Theory (13)
Set Theory (66)

See also:

This category in other languages:

French (22) German (8) Italian (4)
Japanese (5) Polish (10) Russian (3)
Spanish (9)

http://plato.stanford.edu/entries/logic-classical/

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

http://www.cis.upenn.edu/~giorgi/cl.html

» 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.ltn.lv/~podnieks/mlog/ml.htm

» Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks.

$http://www.math.niu.edu/~rusin/known-math/index/03-XX.html$

» 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://nl.ijs.si/~damjan/g-m-c.html

» Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

Usenet sci.logic - news: - Google Groups

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 and may have been modified.

Wed, 25 Nov 2009

search

Macintosh content:

MacCentre701, SillyDog701's Mac news and information guide.

QuickTime codec comparison, A comparison of codecs used in QuickTime, including H.264.

Pro Tools/ iTunes/ QuickTime 7 bug, workaround, a workaround guide for Pro Tool users.

.Mac Backup QuickPicks, free QuickPick for Backup users.

Camino Backup QuickPick, Backing up Camino data has never been easier.

Yojimbo Backup QuickPick, Backing up Yojimbo data has never been easier.

Using Apple's single-button mouse, a guide for new switchers.

typing accented characters

Sepialise Me (Automator Action), fastest way to apply sepia effect to photos.

Mac support forum, our technical support forum for all Mac related questions.

sponsored links:

Movie Trailers - Hi Def, embeddable movie trailers that you can watch and place on your site.
DreamHost coupon, $70.10 off your web hosting fee, no strings attached.

free music from iTunes Store

free Music

Powered by DWodp live version 1.2.5 Copyright © 2003-2007 Dominion Web

Main SD701 Open Directory: http://dir.sillydog.org/
[SillyDog701] [Netscape] [Mozilla] [Switch Guide] [MacCentre701] [SD701 Open Directory]
[Search] [Change Log] [Feedback] [About Us] [Sitemap]
The content on this page is based on the Open Directory Project and has been modified by SillyDog701. Copyright © 2006 - 2009 SillyDog701. All rights reserved. Copyright Notice. Privacy Statement.

support SillyDog701