[FOM] Online resource in logic

[Alex Sakharov]

Hello,
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