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