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

This book brings together both theoretical and empirical research directed toward the role of strategies in deductive reasoning. It offers the first systematic

This series contains large sections of previously unpublished material in addition to selected published works. Each volume includes a brief historical and biog

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