Skip to main content
[ "article:topic", "license:ccbyncsa", "showtoc:no", "authorname:mkeet" ]
Engineering LibreTexts

2.S: First Order Logic and Automated Reasoning in a Nutshell (Summary)

  • Page ID
    6411
  • The following literature is optional for the scope of ontology engineering, but you may find of interest if you would like to design your own logic, for instance.

    1. Hedman, S. A first course in logic—an introduction to model theory, proof theory, computability, and complexity. Oxford: Oxford University Press. 2004.
    2. Solow, D. How to read and do proofs. 4th Ed. Wiley. 2005.