In a sense, logic represents the most general means of reasoning used by people and computers.

Table of Contents:

• Introduction. What Is Logic, Really?
• Propositional Logic
• Predicate Logic
• Completeness Theorems (Model Theory)
• Normal Forms. Resolution Method
• Miscellaneous