Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Software
:
Gateway to Logic
Link Details for:
Gateway to Logic
Link Title:
Gateway to Logic
Link URL:
http://logik.phl.univie.ac.at/~chris/formular-uk.html
Link Details:
A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
Category:
Top : Science : Math : Logic_and_Foundations : Software
Link Type:
ScreenShot:
Link Details for: Gateway to Logic
