Hilbert d bernays p (12 resultados)

Condición: New.

Condición: Neuf.

Hardcover. Condición: Near Fine. Estado de la sobrecubierta: Very Good + Jacket. First UK Edition. Vii, 536 Pp. Blue Cloth, Gilt. First Uk Printing (1964). The Book Brings Together For The First Time An Extensive Collection Of Essays By Both Philosophers And Mathematicians On The Nature Of Mathematics; Philosophical Questions Are Discussed By Leaders In Each Field. The Selections Include The First English Translations Of Several Important Works, As Well As New Translations Of Others, And Several Articles Have Been Extensively Revised By Their Authors For This Anthology. Book Near Fine, Slight Usage. Dj Priced 63S. Net. With Slight Rubbing.…

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Soft cover. Condición: Very Good. No Jacket. 1st Edition. First Edition. xii, 471, [1] pp. Original printed yellow wrappers (also published in cloth). Spine a bit rubbed, else Very Good+. The second volume was published in 1939.

2 vol. comp. Orig cloth bindings, gilt on spine (faded). 471; 498 pp. Small name stickers at first free endpapers, furthermore a set in excellent condition, taking into account its age and method of production.

2. Auflage.. xv, 473 Seiten, Nur der erste Band (Band 2 erschien 1970). Sprache: Deutsch Gewicht in Gramm: 880 Groß 8°, Original-Leinen, Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit leichten Rückständen vom Rückenschild, Stempel auf Titel, insgesamt gutes und innen sauberes Exemplar.

Hardcover. Condición: Very Good. 2 volumes 8vo (23.5 cm), XII, 471 pp; XII, 498, [2] pp. Contemporary muted cloth (binding slightly dusted, endpapers somewhat stained). Reprint of the first edition of the complete two-volume magnum opus of Hilbert's proof theory (Beweistheorie), representing the culmination of the Hilbert program aimed at establishing the consistency of mathematics by finitary means. Volume I (originally published by Julius Springer, Berlin, 1934) includes Hilbert's introduction, in which he directly addresses Gödel's incompleteness results, contending that they do not refute his program but rather require a sharper exploitation of the finite standpoint. The volume develops formal axiomatics, the decision problem, propositional and predicate calculus, and number theory including recursive functions. Volume II (originally published in 1939), with an introduction by Bernays, extends proof theory to encompass Gödel's completeness theorem, Gentzen's consistency proof, transfinite induction, the Ackermann and von Neumann formalisms, and Church's theorem on the undecidability of the predicate calculus, together with four substantial supplements. A monumental work of foundational research, prepared during years of political upheaval, presented here in a complete wartime reprint.…

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.