Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.
Mathematical logic : a course with exercises by René Cori. ISBN 0198500483. Published by Oxford University Press in 2000. Publication and catalogue information, links to buy online and reader comments.