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

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

Melvin Fitting

Hinta
€ 84,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. heinä

Asiakkaamme sanovat:

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

First-Order Logic and Automated Theorem Proving - Texts in Computer Science 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 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 English  
Näytä kaikki

Lisää tuotteita Melvin Fitting

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