Offers a system of natural deduction that approximates to the principles of everyday reasoning. The system is developed in a step-by-step fashion with strategies and suggestions for approaching formal proofs. There are also partial truth tables and truth trees for propositional and predicate logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
EUR 8,68 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Mass Market Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.35. N° de réf. du vendeur G0534168183I3N00
Quantité disponible : 1 disponible(s)
Vendeur : The Bookseller, Edmonton, AB, Canada
Soft cover. Etat : Very Good. No Jacket. Minor shelf wear. Otherwise a square, tight, unmarked book. Index. xv, 448 pp. N° de réf. du vendeur 045737
Quantité disponible : 1 disponible(s)