Gå direkt till innehållet
First-Order Logic and Automated Theorem Proving
Spara

First-Order Logic and Automated Theorem Proving

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.
Författare
Melvin Fitting
Upplaga
Second Edition 1996
ISBN
9781461275152
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-06-26
Sidor
326