"A comprehensive and rigorous textbook introduction to modern symbolic logic that provides a modular approach to formal deduction from the basic sentential logic through first-order predicate calculus"-- Read More
"A comprehensive and rigorous textbook introduction to modern symbolic logic that provides a modular approach to formal deduction from the basic sentential logic through first-order predicate calculus"-- Read Less
