ScienceDirectory.info is a leading science website including agriculture, metrology, industrial engineering, earth sciences, geography, mathematic, aquaculture, aerospace, and more.

Home | Submit a Site

Logic and Foundations Home : Mathematics : Logic and Foundations Institutions (4) Organizations (5) Meetings (2) Directory Listing(s) • Burris, Stanley University of Waterloo - Universal algebra, logic, computers. • DC Proof Online New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises. • Flannery, Ryan University of Cincinnati - satisfiability, first-order and temporal logic, computer science. • Hypercomputation Research Network The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.

Browse Categories • Agriculture • Alternative Science • Amateur Science • Biology • Chemistry • Cognitive Science • Complex Systems • Computer Science • Directories • Earth Sciences • Ecology • Education • Energy • Engineering • Environment • Forensics • Geography • Institutions • Mathematics • Physics • Resources • Shopping and Services • Social Sciences • Space • Technology

Home | About Us | Submit a Site | Link to Us | Contact Us | Disclaimer | Privacy Policy Information contained herein is deemed accurate and correct, but no warranty is implied or given. © Copyright ScienceDirectory.info, Inc., 2004 - 2005. All rights reserved. Guide to resources about agrochemicals, biochemistry, laboratories, physics and astronomy, software, biochemistry, reliability engineering, chemist, molarity, agriculture, medical physics and useful information with ScienceDirectory.info