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

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logi

Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses w