Current location: Math > Logic and Foundations
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.
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html - 21-01-2000
-
[detailed information]
Rating: [7.00] Votes: [1806]
|
2. Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
http://www.logic.univie.ac.at/abstract/ - 19-11-2000
-
[detailed information]
Rating: [6.00] Votes: [122]
|
3. Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
http://plato.stanford.edu/entries/logic-classical/ - 02-10-2002
-
[detailed information]
Rating: [6.00] Votes: [163]
|
4. Logic and Games
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
http://plato.stanford.edu/entries/logic-games/ - 04-12-2003
-
[detailed information]
Rating: [6.00] Votes: [2137]
|
|
