Item #000010627 Mathematical Interpretation of Formal Systems. A. Heyting.

Mathematical Interpretation of Formal Systems

Amsterdam: North-Holland Publishing Company, 1955. First edition. Hardcover. 8vo. [6], vii-viii, 1-113, [3] 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). A volume in the long-running Studies in Logic and the Foundations of Mathematics series. Series editors L. E. J. Brouwer, E. W. Beth, and A. Heyting. Proceedings of the eponymous colloquium held at Amsterdam in September 1954. Omega Bibliography, III, 1589; Risse II, 279. Includes papers by Skolem, Kreisel, Robinson, Wang, Henkin, and Los. Very Good / Very Good+. Item #000010627

Very Good book with lined out previous owner's name on front pastedown and corner of rear endpaper lacking in a Very Good or better dust jacket with a few spots of discoloration and mild wear to the extremities.

Price: $125.00

See all items in Mathematics, Philosophy
See all items by