| 1. | Mathematical Logic and Foundations | | | From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
www.math.niu.edu |
| 2. | Abstract Service | | | An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
www.logic.univie.ac.at |
| 3. | Math Front: LO Logic | | | Front end for the logic section of the mathematics e-print arXiv.
front.math.ucdavis.edu |
| 5. | Classical Logic | | | Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
plato.stanford.edu |
| 6. | Logic and Games | | | Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
plato.stanford.edu |
| | |