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: 1059 NOK
Availability: OutOfStock
Author: Melvin Fitting

Pris

NOK 1.059

Bestillingsvarer

Forventes levert 27. aug - 10. sep

Få varsel om nye utgivelser fra Melvin Fitting

Kundene våre sier:

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

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

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

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