Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
First-Order Logic and Automated Theorem Proofing (2nd edition) by Melvin Fitting
Mathematical Logic for Computer Science (2nd edition) by Mordechai Ben-Ari
Propositional Logic at The Internet Encyclopedia of Philosophy
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License