Propositional and Predicate Calculus: A Model of Argument

More and more students need a basic understanding of logic for computing courses, and prepositional and predicate calculus is central to the field of mathematical logic. This introductory text assumes...