- Around Goedel's Theorem - hyper-textbook for students in mathematical logic.
- Foundations of Temporal Logic: The WWW-site for Prior-studies - devoted to the life and work of Arthur Norman Prior, the founding father of temporal logic.
- Advances in Modal Logic (AiML) - bi-annual workshop and book series in Modal Logic.
- Bibliography on Linear Logic - by-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
- Bertrand - first-order symbolic logic problem solver for the Macintosh. Generates
- Metamath - features links to, and software for, building proofs in logic and set theory.
- Probability Theory as Extended Logic - collection of articles and papers by E. T. Jaynes, Phil Gregory, Tom Loredo, Davis MacKay, and others.
- Factasia Logic - technical and philosophical information concerning symbolic logic and its applications.
- Logical Frameworks - provides pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers.
- Web Directory: Mathematical Logic Around the World - links to sites related to the study of logic. Lists journals, events, and organizations.
|
|
Explore the Worldviewer.com Network Sites
Telecommunications - wirelessiworld.com | Careers - xrayiworld.com | Biology reference - biologyiworld.com | - faxiworld.com | Sic 738 - photofinishingiworld.com | Who invented - inventioniworld.com | - anthropologyiworld.com | - foodcontainersiworld.com | Voice data communications - telecomiworld.com | Genetics - geneticsiworld.com | Astronomy telescope - astronomyiworld.com | Energy drink - drinksiworld.com | Middle east - womennfood.com | Mobi - satellitedishesiworld.com | New technology - techiworld.com | Food - foodsupplementsiworld.com | - answeringmachinesiworld.com | - technicalequipmentiworld.com | - electronicdevicesiworld.com | - clocksiworld.com
