Fortell venner om denne varen:
First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition
Melvin Fitting
Pris
R$ 511,90
Bestillingsvarer
Forventes levert 7. - 15. jul
Legg til iMusic ønskeliste
Eller
First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition
Melvin Fitting
There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.
343 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 26. juni 2013 |
| ISBN13 | 9781461275152 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 326 |
| Mål | 244 × 170 × 22 mm · 553 g |
| Språk | Engelsk |
![Cover for Melvin Fitting · First-Order Modal Logic - Synthese Library (Innbunden bok) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/130/9783031407130.jpg?melvin-fitting-2023-first-order-modal-logic-synthese-library-innbunden-bok&class=scaled&v=1698958417)
![Cover for Melvin Fitting · Incompletetude Na Terra Dos Conjuntos (Pocketbok) [Portuguese edition] (2013)](https://imusic.b-cdn.net/images/item/original/094/9781848901094.jpg?melvin-fitting-2013-incompletetude-na-terra-dos-conjuntos-pocketbok&class=scaled&v=1408594163)
![Cover for Melvin Fitting · Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing (Pocketbok) [Softcover reprint of hardcover 1st ed. 2003 edition] (2010)](https://imusic.b-cdn.net/images/item/original/220/9783790825220.jpg?melvin-fitting-2010-beyond-two-theory-and-applications-of-multiple-valued-logic-studies-in-fuzziness-and-soft-computing-pocketbok&class=scaled&v=1459503206)
