Solvable Cases of the Decision Problem

Ackermann, W. (Wilhelm)

Editore: North-Holland Publishing Company, Amsterdam, 1954

Riguardo questo articolo

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. Codice articolo 00009737

Dati bibliografici

Titolo: Solvable Cases of the Decision Problem

Casa editrice: North-Holland Publishing Company, Amsterdam

Data di pubblicazione: 1954

Legatura: Hardcover

Condizione: Very Good+

Condizione sovraccoperta: Near Fine

Edizione: First edition.