Solvable Cases of the Decision Problem

Ackermann, W. (Wilhelm)

Verlag: North-Holland Publishing Company, Amsterdam, 1954

Beschreibung

Slim 8vo. [5], vi-viii, [1], 2-114, [2] pp. Flexible paper-covered boards replicating the design on the front panel and spine panel of the dust jacket (but omitting the list of series title on the rear panel). Edited by L. E. J. Brouwer, E. W. Beth, and A. Heyting. Omega Bibliography, vol. III, 254. An early volume in the long-running Studies in Logic and the Foundations of Mathematics series. A nice copy of this important early survey of decidability results in first-order and second-order logic. A Very Good+ book with a name on the front flyleaf and a bit of wear to the edges of the boards; jacket is Near Fine with minor edge wear and a faint sticker ghost on the front panel. Bestandsnummer des Verkäufers 00009737

Bibliografische Details

Titel: Solvable Cases of the Decision Problem

Verlag: North-Holland Publishing Company, Amsterdam

Erscheinungsdatum: 1954

Einband: Hardcover

Zustand: Very Good+

Zustand des Schutzumschlags: Near Fine

Auflage: First edition.