First-Order Logic and Automated Theorem Proving

Fitting, Melvin

Verlag: Springer-Verlag [1990], New York, 1990

Beschreibung

8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving. Bestandsnummer des Verkäufers 00009239

Bibliografische Details

Titel: First-Order Logic and Automated Theorem ...

Verlag: Springer-Verlag [1990], New York

Erscheinungsdatum: 1990

Einband: Hardcover

Zustand: Very near Fine

Auflage: First edition.