Gratis Versand in ganz Österreich
Bookbot
Das Buch ist derzeit nicht auf Lager

First order logic and automated theorem proving

Autor*innen

Buchbewertung

4,8(4)Abgeben

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

  • Gratis Versand in ganz Österreich

Zahlungsmethoden

4,8
Ausgezeichnet
4 Bewertung
Abgeben

Hier könnte deine Bewertung stehen.