A Logical Approach to Discrete Math by David Gries, Fred B. Schneider.
This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill thoroug...
Full description
Saved in: