Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Achat du livre
First order logic and automated theorem proving, Melvin Fitting
- Langue
- Année de publication
- 1996
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.