Previous page Next page Bottom Top One level up Home
Home > Directory > Science > Math > Logic and Foundations

Logic and Foundations

Webpages concerning "Logic and Foundations"

Mathematical Logic around the worldRanking
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.
Details + Preview
http://www.uni-bonn.de/logic/world.html
Keywords:
Mathematical Logic, Set Theory, Mathematics, Martin Goldstern

http://www.uni-bonn.de/logic/world.html

COMPUTABILITY LOGIC: a theory of interactive computation HOMEPAGERanking
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.
Details + Preview
http://www.cis.upenn.edu/~giorgi/cl.html
Keywords:
interactive computation, game semantics, linear logic, constructive logic, knowledgebase logic, knowledge base, intuitionistic logic

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

Logic - Wikipedia, the free encyclopediaRanking
Details + Preview
http://en.wikipedia.org/wiki/Logic
Keywords:
Logic

http://en.wikipedia.org/wiki/Logic

Mathematical Logic. Introduction. By V.Detlovs and K.PodnieksRanking
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)
Details + Preview
http://www.ltn.lv/~podnieks/mlog/ml.htm
Keywords:
mathematical logic, tutorial, what is logic, logic, mathematical, online, hyper-text, web, book, textbook, teaching, learning, study, student, Podnieks, Karlis, Detlovs, Vilnis, introduction, students, hypertext, text, hyper, free, download

http://www.ltn.lv/~podnieks/mlog/ml.htm

Science: Mathematics: Logic - Open SiteRanking
Science: Mathematics: Logic - Open Site.
Details + Preview
http://open-site.org/Science/Mathematics/Logic/

http://open-site.org/Science/Mathematics/Logic/

Classical LogicRanking
Details + Preview
http://plato.stanford.edu/entries/logic-classical/

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

The Abstract Service has been Shut DownRanking
Details + Preview
http://www.logic.univie.ac.at/abstract/

http://www.logic.univie.ac.at/abstract/

03: Mathematical logic and foundationsRanking
Details + Preview
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

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

Damjan Bojadziev: Mind Versus GödelRanking
Details + Preview
http://nl.ijs.si/~damjan/g-m-c.html

http://nl.ijs.si/~damjan/g-m-c.html

LO LogicRanking
Details + Preview
http://front.math.ucdavis.edu/math.LO

http://front.math.ucdavis.edu/math.LO

Help building the largest human-edited directory of the web
Suggest URL - Open Directory Project - Become an editor
directopedia.org uses links and structure from dmoz Open Directory Project.
The contents has been generating using technology developed by scientec.

Wikipedia-Article "Logic"

[an error occurred while processing this directive]
This article is based on the article "Logic" from Wikipedia - the free encyclopedia created and edited by online user community. This article is distributed under the terms of GNU Free Documentation License. Here you find the list of authors of this article. The article can only edited within Wikipedia. Edit this article in Wikipedia.

Wikipedia-Article "Foundations"

[an error occurred while processing this directive]
This article is based on the article "Foundations" from Wikipedia - the free encyclopedia created and edited by online user community. This article is distributed under the terms of GNU Free Documentation License. Here you find the list of authors of this article. The article can only edited within Wikipedia. Edit this article in Wikipedia.