Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna. |
Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. |
Logic and Games
Survey of game-theoretical approaches to logic; by Wilfrid Hodges. |
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. |
Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. |
