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.

References

  • 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

      • http://www.springer.com/computer/foundations/book/978-1-85233-319-5

    • Propositional Logic at The Internet Encyclopedia of Philosophy

      • http://www.iep.utm.edu/p/prop-log.htm

  • Wikipedia links:

    • http://en.wikipedia.org/wiki/Propositional_calculus


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.