First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

★★★★★ 5.0 67 Bewertungen
€30.37
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe
Verkauft und versendet von www.castellidiario.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€30.37
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe
Wie möchten Sie Ihren Artikel erhalten?
Die ersten 30 Tage sind kostenlos! Wählen Sie den Tarif an der Kasse.
Versand
Ankunft 28.09.
Kostenlos
Abholung
In der Nähe prüfen
Lieferung
Nicht verfügbar
Verkauft und versendet von www.castellidiario.com.ar
30 Tage kostenlose Rückgabe Details

Produktdetails

Artikelnummer 236848126 Erscheinungsdatum 2026/07/10 Listenpreis €30.37 Modellnummer 236848126
Kategorie
  1. Books
  2. Computers & Technology
  3. Computer Science
  4. AI & Machine Learning
  5. Intelligence & Semantics

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. Read more

Korrektur der Produktinformationen

Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.

Korrekturanfrage

Kundenbewertungen

5 von 5
★★★★★
67 Bewertungen | 27 Rezensionen
So wird die Artikelbewertung berechnet
Alle Bewertungen anzeigen
5 Sterne
90% (60)
4 Sterne
0% (0)
3 Sterne
0% (0)
2 Sterne
0% (0)
1 Stern
10% (7)
Sortieren nach

Für dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.