Sygnalizatory, Systemy Alarmowe Kraków,zabezpieczeń, sygnalizacji włamania, Systemy monitoringu

Open Directory Project

Top » Science » Math » Logic_and_Foundations »

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

See also:

This category in other languages:

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

Classical Logic - Introduction to classical logic, including completeness and Löwenheim-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..

Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory..

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