plato.stanford.edu/entries/logic-classical/
anyway hierarchically
Mathematical
Logic and Foundations
A rich collection of links to logic-related websites.
anyway foundations
www.ltn.lv/~podnieks/mlog
/ml.htm
Hyper-textbook for students by V.
hierarchically math
en.wikipedia.org/wiki/Logic
Open Encyclopedia entry. Hierarchically
organized by subareas.
corresponds skolem
Wikipedia article.
Mind Versus Goedel by Damjan Bojadziev
nonstandard shapiro
Maintained by G.
Introduction
to Mathematical Logic
theorems arxiv
Logic
front.math.ucdavis.edu/math.LO
skolem completeness
rusin math
Front end for the logic section of the mathematics
e-print arXiv.
semantics nonstandard
Japaridze.
roughly podnieks
Introduction to classical logic, including completeness and L wenheim-Skolem
theorems; by Stewart Shapiro.Compares the mind to advanced computers and artificial intelligence, as
Goedel would possibly view them.
theorems wenheim
arxiv theorems
nl.ijs.si/~damjan/g-m-c.html
nonstandard rusin
www.math.niu.edu/~rusin/known-math/index
/03-XX.html
goedel math
Main online source on computability logic - a recently emerged formal theory of computational
tasks and resources.
Mathematical Logic around the World
foundations emerged
rusin computability
Classical Logic
podnieks skolem
roughly computability
Detlovs and K. Podnieks.
Logic
www.uni-bonn.de/logic/world.html
skolem hierarchically
Computability Logic Homepage
www.cis.upenn.edu/~giorgi/cl.html
theorems subareas
goedel hierarchically
Math Front:
LO Logic
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin.
hierarchically corresponds
arxiv hierarchically
open-site.org
/Science/Mathematics/Logic/
completeness subareas
Extensive resources related to logic and set theory.
goedel nonstandard
