This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exerc

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathemat

Authoritative account of the development of Boole's ideas in logic and probability theory ranges from The Mathematical Analysis of Logic to the end of his caree

This text does not presuppose any technical background in math or logic. The first seven chapters cover all the basic components of a first course in symbolic l