Wectar - Science - Math - Logic and Foundations

	submit a site to this category

Subcategories
Category Theory@	Computability	Computational Logic	Directories	Education	Foundations
Game Semantics	History	Institutions	Knowledge Representation and Planning	Meetings	Model Theory
Nonstandard Logics and Extensions	Online Discussion Groups	Organizations	People	Philosophy of Logic@	Proof Theory
Publications	Set Theory	Software

	Computability Logic Homepage URL: http://www.cis.upenn.edu/~giorgi/cl.html ODP description: Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. Page title: COMPUTABILITY LOGIC Homepage Page description: The recent approach called Computability Logic is a formal theory of computability in the same sense as classical logic is a formal theory of truth. The page is the basic Internet source of information on Computability Logic.
	Mind Versus Goedel by Damjan Bojadziev URL: http://nl.ijs.si/~damjan/g-m-c.html ODP description: Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. Page title: Damjan Bojadziev: Mind Versus GÃ¶del
	Introduction to Mathematical Logic URL: http://www.ltn.lv/~podnieks/mlog/ml.htm ODP description: Hyper-textbook for students by V. Detlovs and K. Podnieks. Page title: Mathematical Logic. Introduction. By V.Detlovs and K.Podnieks Page description: 100% of a hyper-textbook for students. Extended translation of: V.Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian)
	Classical Logic URL: http://plato.stanford.edu/entries/logic-classical/ ODP description: Introduction to classical logic, including completeness and LÃ¶wenheim-Skolem theorems; by Stewart Shapiro. Page title: Classical Logic (Stanford Encyclopedia of Philosophy)
	Mathematical Logic and Foundations URL: http://www.math.niu.edu/~rusin/known-math/index/03-XX.html ODP description: From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. Page title: 03: Mathematical logic and foundations
	Mathematical Logic around the World URL: http://www.uni-bonn.de/logic/world.html ODP description: A rich collection of links to logic-related websites. Page title: Mathematical Logic around the world Page description: Research groups, journals, organizations, conferences etc. in mathematical logic (such as set theory). By the Mathematical Logic Group, Bonn and the Vienna University of Technology.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor