Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)

Having used this book to teach courses in elementary model theory, I can attest to its utility. It serves this purpose well, and the book is short enough to allow covering most of the material in the span of a semester. After finishing it, readers will be well prepared to tackle more advanced books in mathematical logic and model theory, or move into areas of artificial intelligence or logic programming. The most popular languages in artificial intelligence, namely LISP and PROLOG are based on the concepts in this book. Some of the areas that are not treated but can be accessed after reading the book include nonmonotonic logics, inductive logic programming, formal learning theory, higher-order languages, automated deduction, and the theory of object-oriented languages.

BitRoad

Megauploading