A Short Course in Predicate Logic
Publisher: Bookboon
Published: 2013
ISBN-13: 9788740307955
Table of contents: title: Introduction; title: Motivation; title: Formal Languages, Formulae and Sentences; title: Truth; title: Logical Consequence; title: The Prenex Normal Form Theorem; title: Formal Proofs; title: The Completeness and Compactness Theorems; title: Adding Constants and Functions; title: Herbrand’s Theorem; title: Equality; title: Exercises; title: Solutions to the Exercises; title: Appendix