Science6.com aims to guide user to resources about science, chemistry, biotechnology, ecology, laboratories, physics and astronomy, software, biochemistry, reliability engineering, morality, medical physics and useful information.

Logic and Foundations

Home > Mathematics > Logic and Foundations

Institutions (5)

Meetings (2)

Organizations (5)

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.

ProofTheory.ORG
Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts.

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

NEWS

Home • Submit Site • About Us • Link to Us • Contact Us • Disclaimer • Privacy Policy
Information contained herein is deemed accurate and correct, but no warranty is implied or given.
© Copyright Science6.com Inc., 2007. All rights reserved.
This site helps user to find information and resources of science, chemistry, biotechnology, ecology, earth sciences, nuclear, software, mechanical engineering, materials, astrophysics, molecular and much more.