Logic < Mathematics in the Yahoo! Directory

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
Mathematical Logic and Foundations
Introduction from The Mathematical Atlas.
www.math.niu.edu/~rusin/known-math/index/03-XX.html
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
Frege, Gottlob (1848-1925)@
dir.yahoo.com/.../Philosophers/Frege__Gottlob__1848_1925_
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
Around Goedel's Theorem
Hyper-textbook for students in mathematical logic.
www.ltn.lv/~podnieks
Factasia Logic
Technical and philosophical information concerning symbolic logic and its applications.
www.rbjones.com/rbjpub/logic
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

Mathematics > Logic