|
|
 |
Open Directory from the Jesus Army
The largest human-edited directory on the web
|
Open Directory: Science: Math: Logic and Foundations
See also:
|
 | Classical Logic plato.stanford.edu/entries/logic-classical
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. |
|
| Computability Logic Homepage 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. |
|
| Mathematical Logic and Foundations 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. |
|
|
The Jesus Army is not responsible for the content of the Open Directory, which we provide here as a public service. Please contact the Open Directory Project with any questions or comments you may have, or follow the links above.
|
|
|
Logic and Foundations
