Author: Pospesel, Howard
Edition: 2
Number Of Pages: 304
Release Date: 19-06-2002
Details: 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. This new edition includes 'PredLogic,' a CD-ROM-based tutorial for students.
EAN: 9780131649897
Languages: English
Binding: paperback
Item Condition: New