---

---

Philosophy :: Artificial Intelligence
Logic based :: Languages
Philosophy of Language :: Philosophy
Mathematics :: Philosophy of Science

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.
Meta Description: [ Computability logic is a recently introduced framework and research program for redeveloping logic as a formal theory of computability, as opposed to a formal theory of truth which it has more traditionally been. This page is the basic Internet source of information on the subject. ]

Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks.
Meta 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) ]

Logic - Wikipedia article.

Logic - Open Encyclopedia entry. Hierarchically organized by subareas.
Meta Description: [ Science: Mathematics: Logic - Open Site. ]

Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv.

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

Mathematical Logic around the World - A rich collection of links to logic-related websites.
Meta 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. ]

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