- Abstract Service for Mathematical Logic
 - Collection from the Institute for Logic at the University of Vienna. - Advances in Modal Logic (AiML)
- Bi-annual workshop and book series in Modal Logic.
- Around Goedel's Theorem
- Hyper-textbook for students in mathematical logic.
- Bibliography on Linear Logic
- By-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
- Factasia Logic
- Technical and philosophical information concerning symbolic logic and its applications.
- Frege, Gottlob (1848-1925)@
- Front for the Mathematics ArXiv: Logic
- Collection of articles maintained at Los Alamos.
- Logical Frameworks
- Provides pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers.
- Mathematical Logic and Foundations
- Introduction from The Mathematical Atlas.
- Probability Theory as Extended Logic
- Collection of articles and papers by E. T. Jaynes, Phil Gregory, Tom Loredo, Davis MacKay, and others.
- Web Directory: Mathematical Logic Around the World
- Links to sites related to the study of logic. Lists journals, events, and organizations.
|