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.
M. Fitting: First-Order Logic and Automated Theorem Proving, 1996 Springer-Verlag New York (Chapter 5)
Michael Huth and Mark Ryan, Logic in Computer Science(second edition) , 2004, Cambridge University Press
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License