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
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
Help us improve the Yahoo! Directory -