Logic < Mathematics in the Yahoo! Directory

Abstract Service for Mathematical Logic
Collection from the Institute for Logic at the University of Vienna.
www.logic.univie.ac.at/abstract
Advances in Modal Logic (AiML)
Bi-annual workshop and book series in Modal Logic.
turing.wins.uva.nl/~mdr/AiML
Around Goedel's Theorem
Hyper-textbook for students in mathematical logic.
www.ltn.lv/~podnieks
Bibliography on Linear Logic
By-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
www.cs.cmu.edu/~carsten/linearbib/linearbib.html
Factasia Logic
Technical and philosophical information concerning symbolic logic and its applications.
www.rbjones.com/rbjpub/logic
Frege, Gottlob (1848-1925)@
dir.yahoo.com/.../Philosophers/Frege__Gottlob__1848_1925_
Front for the Mathematics ArXiv: Logic
Collection of articles maintained at Los Alamos.
front.math.ucdavis.edu/math.LO
Logical Frameworks
Provides pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers.
www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html
Mathematical Logic and Foundations
Introduction from The Mathematical Atlas.
www.math.niu.edu/~rusin/known-math/index/03-XX.html
Probability Theory as Extended Logic
Collection of articles and papers by E. T. Jaynes, Phil Gregory, Tom Loredo, Davis MacKay, and others.
bayes.wustl.edu

Mathematics > Logic