First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Kirjat - Springer-Verlag New York Inc. - 9781461275152 - keskiviikko 26. kesäkuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 84,99

Tilattu etävarastosta

Arvioitu toimitus ke 31. joulu - to 8. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 26. kesäkuuta 2013
ISBN13 9781461275152
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 326
Mitta 244 × 170 × 22 mm   ·   553 g
Kieli Englanti  

Lisää tuotteita Melvin Fitting

Näytä kaikki

Katso kaikki joka sisältää Melvin Fitting ( Esim. Paperback Book Ja Hardcover Book )