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

Cena

€ 90,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 23. - 31. jūl.

Saņemiet paziņojumus par jauniem Melvin Fitting izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2013. gada 26. jūnijs
ISBN13	9781461275152
Izdevēji	Springer-Verlag New York Inc.
Lapas	326
Izmēri	244 × 170 × 22 mm · 553 g
Valoda	Angļu