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: 101.49 EUR
Availability: OutOfStock
Author: Melvin Fitting

Cena

€ 101,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 27. avg - 10. sep

Prejemajte obvestila o novih izdajah izvajalca Melvin Fitting

Kaj pravijo naše stranke:

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

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij	Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano	26. junija 2013
ISBN13	9781461275152
Založniki	Springer-Verlag New York Inc.
Strani	326
Dimenzije	244 × 170 × 22 mm · 553 g
Jezik	Angleščina