Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rating:
Summary: OK but Hard
Review: You'll find this very hard unless you are a competent math major at one of the better universities. Similar to Elliot Mendelson's text, but not quite as good. Good chapter on Boolean algebra as a
piece of pure math; Halmos and Givant is gentler, though.

Interesting topic covered: the resolution so dear to the AI crowd. Unlike most mathematicians, Cori and Lascar have time for
the way computer scientists think. At the same time, this book does not cover tableau methods (see Smullyan), natural deduction, Genzen's ideas, and so on. For pure logic at the advanced undergrad level, you're better off with Bostock.

Haven't seen Part II, so cannot comment on the treatment of set theory. This is something Mendelson and Machover already do well.