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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
paperback. Etat : 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! N° de réf. du vendeur S_430502156
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0070323577I3N00
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Reno, Reno, NV, Etats-Unis
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0070323577I3N00
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0070323577I4N00
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0070323577I3N00
Quantité disponible : 1 disponible(s)
Vendeur : RUSH HOUR BUSINESS, Worcester, MA, Etats-Unis
paperback. Etat : Good. clean used copy with some wear to covers, sunning to pages ,no markings/stains or stickers. fast shipping with tracking number. N° de réf. du vendeur TIMOTHY-0122-05-08-2026
Quantité disponible : 1 disponible(s)
Vendeur : Trouve Books, Cincinnati, OH, Etats-Unis
Soft cover. Etat : 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. N° de réf. du vendeur TA243813
Quantité disponible : 1 disponible(s)
Vendeur : Solr Books, Lincolnwood, IL, Etats-Unis
Etat : good. This book is in Good condition. There may be some notes and highligting but otherwise the book is in overall good condition. N° de réf. du vendeur BCV.0070323577.G
Quantité disponible : 1 disponible(s)
Vendeur : City Lights Bookshop, London, ON, Canada
Soft cover. Etat : Good. First printing of third edition. Light to moderate wear to edges, taped at corners. Faint small coffee stain to top right corner of front cover, slightly worse on reverse + first four pages and getting progressively smaller. Text unaffected. Separate coffee stain to side of page block. N° de réf. du vendeur ABE-1774213300954
Quantité disponible : 1 disponible(s)
Vendeur : Lexington Books Inc, Idaho Falls, ID, Etats-Unis
paperback. Etat : Very Good. N° de réf. du vendeur 160441
Quantité disponible : 1 disponible(s)