Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
First order logic and automated theorem proving, Melvin Fitting
- Sprache
- Erscheinungsdatum
- 1996
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Hier könnte deine Bewertung stehen.