Languages of Logic 2e

Guttenplan provides a nice description of the ideas in formal logic. And how to express these in the notation of the field. There is also plenty in the way of examples, to aid your learning. Lots of truth tables, and how to translate a statement into a predicate form. Chapters have exercises, some of which even have answers. So the book is suitable for an undergraduate text. The only thing missing is a discussion of how the logic might be implemented on a computer. Perhaps, specifically, using Lisp. While that language has some real world problems, its expressive power lends itself to manipulating logic.