[FOM] Online resource in logic

Alex Sakharov 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.
Alex Sakharov


More information about the FOM mailing list