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.
Seller: HPB-Red, Dallas, TX, U.S.A.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_430502156
Seller: ThriftBooks-Phoenix, Phoenix, AZ, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0070323577I5N00
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0070323577I5N00
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0070323577I3N00
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007843468
Seller: RUSH HOUR BUSINESS, Worcester, MA, U.S.A.
paperback. Condition: Good. used paperback copy with markings/writings inside, general wear to covers but very legible, Seller Inventory # DAVI-0134-07-19-2024
Seller: Trouve Books, Cincinnati, OH, U.S.A.
Soft cover. Condition: Very Good. No Jacket. 3rd Edition. Third edition. Label/Residue on front cover. Book is clean and tight without inside markings. In this clear and witty book, Richard Jeffrey familiarizes readers with a complete formal system of first-order logic and then introduces the discoveries that mark logic's coming of age in the twentieth century: Godel's completeness and incompleteness theorems, and the Church-Turing undecidability theorem. Seller Inventory # TA243813
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0070323577
Seller: Lexington Books Inc, Idaho Falls, ID, U.S.A.
paperback. Condition: Very Good. Seller Inventory # 160441
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Paperback. Condition: New. Seller Inventory # Abebooks48745