First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Livres - Springer-Verlag New York Inc. - 9781461275152 - 26 juin 2013
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 81,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 12 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits 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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 26 juin 2013
ISBN13 9781461275152
Éditeurs Springer-Verlag New York Inc.
Pages 326
Dimensions 244 × 170 × 22 mm   ·   553 g
Langue et grammaire Anglais  

Plus par Melvin Fitting

Afficher tout

Voir tous les Melvin Fitting ( par ex. Paperback Book et Hardcover Book )