Logic page Resources You are visitor number 12443. Seite auch deutsche Ressourcen. My Gateway to Logic displays truth tables, expression trees, alpha graphs, normal forms and so on, proves theorems of propositional logic and contains a proof checker and a proof builder .
Resource lists There are several lists of logical web resources.
The LogicAL Guide at the Globewide Network Academy is a very comprehensive compilation of Internet ressources regarding logic, its history and related topics. Episteme Links , another compilation of philosophy-related resources. The chapter on philosophy in Yale University's Internet library contains several entries on logic. The new Mining Co. index contains a growing collection of logical links . A new Introduction to propositional Logic Programs Logic Daemon by Colin Allen is a very good proof checker.