Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
First order logic and automated theorem proving, Melvin Fitting
- Taal
- Jaar van publicatie
- 1996
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.