Undecidable Theories

Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.

Verlag: North-Holland Publishing Company, Amsterdam, 1953

Beschreibung

Slim 8vo. [5], viii-xi, [3], 3-98, [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. Several publishers advertisements and post cards laid in. Part of the long-running Studies in Logic and the Foundations of Mathematics series, and one of the earliest volumes in the series. Risse, Logica II, 271; Slater 918. Tarski is undeniably one of the greatest logicians in history and made significant groundbreaking contributions in mathematics and logic during the the twentieth century. An attractive copy of this book collecting a number of early and important undecidability results demonstrating both the direct and indirect methods of proving a theory is undecidable and providing elegant and powerful general methods for establishing these kinds of results. A Near Fine book in a Very Good+ dust jacket with darkening to the spine panel and a few traces of wear to the extremities. Bestandsnummer des Verkäufers 00008196

Bibliografische Details

Titel: Undecidable Theories

Verlag: North-Holland Publishing Company, Amsterdam

Erscheinungsdatum: 1953

Einband: Hardcover

Zustand: Near Fine

Zustand des Schutzumschlags: Very Good+

Auflage: First edition.