Name: First-Order Logic and Automated Theorem Proving
Price: 90.00 EUR
Availability: InStock
Author: Melvin Fitting
ISBN: 9781461275152

First-Order Logic and Automated Theorem Proving von Melvin Fitting

Sie sparen 1% des UVP sparen 1%

Taschenbuch
Versandfertig in 1-2 Wochen
90,00 €

Über First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

Sprache:
Englisch

ISBN:
9781461275152

Verlag:
Springer-Verlag New York Inc.

Einband:
Taschenbuch

Seitenzahl:
326

Veröffentlicht:
26. Juni 2013

Ausgabe:
219962

Abmessungen:
170x244x22 mm.

Gewicht:
592 g.

90,00 € inkl. MwSt.
~~90,94 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Melvin Fitting

Alle Bücher von Melvin Fitting anzeigen

Beschreibung von First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

Kund*innenbewertungen von First-Order Logic and Automated Theorem Proving

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch First-Order Logic and Automated Theorem Proving ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

First-Order Logic and Automated Theorem Proving

Über Melvin Fitting

Beschreibung von First-Order Logic and Automated Theorem Proving

Kund*innenbewertungen von First-Order Logic and Automated Theorem Proving

Willkommen bei den Tales Buchfreunden und -freundinnen