Current Slide

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.


  • Mandatory Reading:

    • First-Order Logic and Automated Theorem Proofing (2nd edition) by Melvin Fitting

  • Further Reading:

    • Mathematical Logic for Computer Science (2nd edition) by Mordechai Ben-Ari


    • Propositional Logic at The Internet Encyclopedia of Philosophy


  • Wikipedia links:


Speaker notes:

Content Tools


There are currently no sources for this slide.