Math: Logic and Foundations: Software: Gateway to Logic

Home: Math: Logic and Foundations: Software:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: Gateway to Logic

URL: http://logik.phl.univie.ac.at/~chris/formular-uk.html

Description: 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.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people