Melvin Fitting
First-Order Logic and Automated Theorem Proving - Texts in Computer Science Melvin Fitting 2nd ed. 1996. Softcover reprint of the original 2n edition

Name: First-Order Logic and Automated Theorem Proving - Texts in Computer Science
Price: 82.49 EUR
Availability: OutOfStock
Author: Melvin Fitting

Preis

€ 82,49

Bestellware

Lieferdatum: ca. 31. Dez - 5. Jan 2026

Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

oder

First-Order Logic and Automated Theorem Proving - Texts in Computer Science

Melvin Fitting

2nd ed. 1996. Softcover reprint of the original 2n edition

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

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	26. Juni 2013
ISBN13	9781461275152
Verlag	Springer-Verlag New York Inc.
Seitenanzahl	326
Maße	244 × 170 × 22 mm · 553 g
Sprache	Englisch