Classical Logic «
http://plato.stanford.edu/entries/logic-classical/ | | Introduction to classical logic , including completeness and löwenheim-skolem theorems; by stewart shapiro. |
Computability Logic Homepage «
http://www.cis.upenn.edu/~giorgi/cl.html | | Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. maintained by g. japaridze. |
Introduction to Mathematical Logic «
http://www.ltn.lv/~podnieks/mlog/ml.htm | | Hyper-textbook for students by v. detlovs and k. podnieks. |
Math Front: LO Logic «
http://front.math.ucdavis.edu/math.LO | | Front end for the logic section of the mathematics e-print arxiv. |
Mathematical Logic and Foundations «
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html | | 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 «
http://www.uni-bonn.de/logic/world.html | | A rich collection of links to logic-related websites. |
Mind Versus Goedel by Damjan Bojadziev «
http://nl.ijs.si/~damjan/g-m-c.html | | Compares the mind to advanced computers and artificial intelligence , as goedel would possibly view them. |
