[FOM] Online resource in logic
mail at sakharov.net
Thu Jun 16 10:26:59 EDT 2005
For information of the FOMers who teach courses in logic: I made one
more resource available on www. It is a web page called Logical Laws
(http://sakharov.net/logic.html). It is basically Kleene's collection
with minor additions. In particular, I added respective implications
holding intuitionistically for equivalences that are classical-only.
I hope this page could be a helpful reference material for students
studying logic, and it is available 24/7.
More information about the FOM