First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Książki - Springer-Verlag New York Inc. - 9781461275152 - 26 czerwca 2013
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 339,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 26 czerwca 2013
ISBN13 9781461275152
Wydawcy Springer-Verlag New York Inc.
Strony 326
Wymiary 244 × 170 × 22 mm   ·   553 g
Język Angielski  

Więcej od Melvin Fitting

Pokaż wszystko

Zobacz wszystko od Melvin Fitting ( np. Paperback Book i Hardcover Book )