Il libro è attualmente esaurito
Parametri
Maggiori informazioni sul libro
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.
Acquisto del libro
First order logic and automated theorem proving, Melvin Fitting
- Lingua
- Pubblicato
- 1996
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.