This comprehensive introduction to symbolic logic covers informal logic and the syntax, semantics and metatheory of not only the classical propositional and predicate logics, but also for a number of... This description may be from another edition of this product.