Math : Logic and Foundations

Top:
Science: Math: Logic and Foundations (820)

Categories

Directories (11)

Institutions (61)

Online Discussion Groups (3)

Organizations (14)

People (125)

Publications (26)

Category Theory@ (40)

Computability (11)

Computational Logic (32)

Foundations (8)

Game Semantics (13)

Knowledge Representation and Planning (2)

Model Theory (4)

Nonstandard Logics and Extensions (126)

Philosophy of Logic@ (109)

Proof Theory (14)

Set Theory (69)

Related Categories

Computers: Artificial Intelligence: Philosophy (43)
Computers: Programming: Languages: Logicbased (41)
Society: Philosophy: Philosophy of Language (76)
Society: Philosophy: Philosophy of Science: Mathematics (32)

This category in Spanish

Ciencia y tecnologia: Matematicas: Logica y conjuntos (9)

Web Sites

	Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org]
	Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org]
	Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks. Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org]
	Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org]
	Mathematical Logic around the World - A rich collection of links to logic-related websites. Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org]
	Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org]

About Geek-Toy.com

Help build the largest human-edited directory on the web

Submit a Site - Open Directory Project - Become an Editor

Math : Logic and Foundations @ dmoz.org - Edit

Last RDF update: 01-10-2008