You are visitor number 90233 to this page.
Wenn Sie diesen Satz verstehen, finden Sie auf der deutschen Fassung dieser Seite auch deutsche Ressourcen.
My Gateway to Logic displays truth tables, expression trees, alpha graphs, normal forms and so on, both in a server side and a client side version. It proves theorems of propositional and predicate logic and contains a proof checker and a Lemmon-style proof builder as well as a Fitch-style proof builder and even a proof builder of the Alpha Part of Peirce's Existential Graphs. In 1996, Jars has rated the Gateway "Top 25%", and Gamelan considered it "cool".
Part of the Gateway requires a Java-capable browser, part works with virtually any browser, even with text-based programs like Lynx.
There are several lists of logical web resources. The following are among the best: