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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.