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:

    • M. Fitting: First-Order Logic and Automated Theorem Proving, 1996 Springer-Verlag New York (Chapter 5)

  • Further Reading:

    • Michael Huth and Mark Ryan, Logic in Computer Science(second edition) , 2004, Cambridge University Press

    • http://plato.stanford.edu/entries/model-theory/

  • Wikipedia links:

    • http://en.wikipedia.org/wiki/First-order_logic


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.