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
Sofort lieferbar
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

Sofort lieferbar

Ü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