This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
"synopsis" may belong to another edition of this title.
Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.
"About this title" may belong to another edition of this title.
Book Description McGraw-Hill, 1990. Paperback. Book Condition: New. Never used!. Bookseller Inventory # P110070323577