Howard Pospesel, "Introduction to Logic: Predicate Logic"
English | 2002 | pages: 302 | ISBN: 0131649892 | PDF | 47,2 mb
English | 2002 | pages: 302 | ISBN: 0131649892 | PDF | 47,2 mb
For courses in Introduction to Logic and Formal Logic.
This clearly written volume covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations.
My Link