Zustand: as new. Wie neu/Like new.
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
EUR 9,28
Anzahl: 2 verfügbar
In den WarenkorbZustand: Brand New. 52 pages. German language. 7.17x0.20x11.69 inches. In Stock.
Verlag: München, Deutsches Museum, 1999
Anbieter: Antiquariat Smock, Freiburg, Deutschland
Zustand: Gut. Formateinband: Großformat, Broschierte Ausgabe 175 S. (30 cm) 1. Aufl.; (Mit zahlreichen Abbildungen); Leichter Rauchgeruch; Rücken etwas lesefaltig; sonst in gutem Zustand. Sprache: Deutsch Gewicht in Gramm: 990 [Stichwörter: Ausstellungskatalog, Katalog zur Ausstellung, Bildband].
Sprache: Deutsch
Verlag: Hamburg Europa Verlag GmbH, 2003
ISBN 10: 3203835355 ISBN 13: 9783203835358
Anbieter: Blattner, Bad Radkersburg, Österreich
fester Einband. Opbd, Umschlag, 455 Seiten, 455 Seiten, 22 x 26 cm, mit den Originalillustrationen von E.W. Kemple 1806 gr.
Erstausgabe
253 x 215 mm. Zustand: Sehr gut. 1., Auflage. 460 Seiten Original Leineneinband; Umschlag mit einem sehr kleinen Randeinriß hinten (geklebt). Literaturverzeichnis Seite 441 - 455 UG117 Sprache: Deutsch Gewicht in Gramm: 1730.
Verlag: München: Deutsches Museum (um 1999)., 1999
Anbieter: Antiquariat Kretzer, Kirchhain-Emsdorf, Deutschland
Zustand: Sehr gut. 175 Seiten. Mit zahlreichen Illustrationen. Vorderschnitt etwas fleckig. - Insgesamt sehr gut erhaltenes Exemplar. Sprache: Deutsch Gewicht in Gramm: 1200 4° (25-35 cm). Illustrierte Orig.-Broschur. [Softcover / Paperback].
EUR 139,72
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 139,72
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 151,91
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 170,21
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Taschenbuch. Zustand: Neu. The Legacy of Kurt Schütte | Reinhard Kahle (u. a.) | Taschenbuch | xix | Englisch | 2021 | Springer | EAN 9783030494261 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 183,13
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 521 pages. 9.25x6.10x1.18 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030494268 ISBN 13: 9783030494261
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book on proof theory centers around the legacy of Kurt Schütte and its current impact on thesubject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofscan be viewed as structured mathematical objects amenable to investigation by mathematical methods (metamathematics). Schütte inaugurated the important paradigm shift from finite proofs toinfinite proofs and developed the mathematical tools for their analysis. Infinitary proof theoryflourished in his hands in the 1960s, culminating in the famous bound 0for the limit of predicativemathematics (a fame shared with Feferman). Later his interests shifted to developing infinite proofcalculi for impredicative theories. Schütte had a keen interest in advancing ordinal analysis to everstronger theories and was still working on some of the strongest systems in his eighties. The articlesin this volume from leading experts closeto his research, show the enduring influence of his work inmodern proof theory. They range from eye witness accounts of his scientific life to developments atthe current research frontier, including papers by Schütte himself that have never been publishedbefore.
EUR 185,19
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 521 pages. 9.25x6.10x1.34 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030494233 ISBN 13: 9783030494230
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book on proof theory centers around the legacy of Kurt Schütte and its current impact on thesubject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofscan be viewed as structured mathematical objects amenable to investigation by mathematical methods (metamathematics). Schütte inaugurated the important paradigm shift from finite proofs toinfinite proofs and developed the mathematical tools for their analysis. Infinitary proof theoryflourished in his hands in the 1960s, culminating in the famous bound 0for the limit of predicativemathematics (a fame shared with Feferman). Later his interests shifted to developing infinite proofcalculi for impredicative theories. Schütte had a keen interest in advancing ordinal analysis to everstronger theories and was still working on some of the strongest systems in his eighties. The articlesin this volume from leading experts closeto his research, show the enduring influence of his work inmodern proof theory. They range from eye witness accounts of his scientific life to developments atthe current research frontier, including papers by Schütte himself that have never been publishedbefore.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1316510867 ISBN 13: 9781316510865
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 198,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 2022
ISBN 10: 9811245215 ISBN 13: 9789811245213
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 208,25
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 600 pages. 9.00x6.00x1.06 inches. In Stock.
Taschenbuch. Zustand: Neu. Gentzen's Centenary | The Quest for Consistency | Reinhard Kahle (u. a.) | Taschenbuch | x | Englisch | 2015 | Springer | EAN 9783319101026 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1316510867 ISBN 13: 9781316510865
Anbieter: moluna, Greven, Deutschland
EUR 205,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. InhaltsverzeichnisPreface Douglas Bridges, Hajime Ishihara, Michael Rathjen and Helmut Schwichtenberg Part I. Introductory: 1. Introduction to intuitionistic logic Michael Rathjen 2. Introduction to CZF: an appetizer Michael Rathjen 3.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 251,10
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 572 pages. 9.00x6.00x1.50 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1316510867 ISBN 13: 9781316510865
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 279,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Cambridge University Press Mai 2023, 2023
ISBN 10: 1316510867 ISBN 13: 9781316510865
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - Constructive mathematics - mathematics in which 'there exists' always means 'we can construct' - is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in theoretical computer science. This handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject's myriad aspects. Major themes include: constructive algebra and geometry, constructive analysis, constructive topology, constructive logic and foundations of mathematics, and computational aspects of constructive mathematics. A series of introductory chapters provides graduate students and other newcomers to the subject with foundations for the surveys that follow. Edited by four of the most eminent experts in the field, this is an indispensable reference for constructive mathematicians and a fascinating vista of modern constructivism for the increasing number of researchers interested in constructive approaches.
Sprache: Deutsch
Verlag: Schneider-Buch
Anbieter: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Deutschland
Hardcover. Zustand: Gut. 176 Seiten Neue spannende und unheimliche Kriminalgeschichten, ausgewählt von Alfred Hitchcock, präsentieren eine Mischung aus Mysterien, Krimis und Thrillern. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-646-3/8-00728688 Sprache: Deutsch Gewicht in Gramm: 243.
Anbieter: Druckwaren Antiquariat, Salzwedel, Deutschland
Verbandsmitglied: GIAQ
Zustand: Sehr gut. CLV, 455 S., Ill. Ehemaliges Bibliotheksexemplar mit den üblichen Eintragungen/ Aufklebern/ Stempeln. Einbd. leicht berieben, ansonstens sehr gut erhalten. ISBN: 9783203780405 Sprache: Deutsch Gewicht in Gramm: 1800 OPp., gebundene Ausgabe, Lesebändchen, Schutzlaminierung.
Sprache: Deutsch
Verlag: Diplomarbeiten Agentur diplom.de, 2000
ISBN 10: 3838644344 ISBN 13: 9783838644349
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 67,36
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Pappe. Zustand: Gut. Dt. Erstausg. CLV, 455 S. : Ill. ; 26 cm Zustand: Pappeinband berieben mit Schutzumschlag (an den Kanten bestoßen, hinterlegte Randläsionen), Lesebändchen, Vorsatz mit hellem Fleck (kleiner 1cm ø). Gutes Exemplar --- Inhalt: zweifarbiger Druck, umfangreich illustriert mit den Originalillustrationen von E.W. Kemble. Das berühmteste Jugendbuch DIE ABENTEUER VON HUCKLEBERRY FINN aller Zeiten in seiner ultimativen Edition. Es ist das Reisetagebuch von Toms Sawyers Freund Huck, einem unbebildeten Knaben und Rotzlöffel wie er bislang noch in keinem Buche stand, der so redet wie ihm der Schnabel gewachsen ist. Für die Sittenwächter gehörte es 1884 auf den Index. GRÜ6-5 ISBN: 9783203780405 Sprache: Deutsch Gewicht in Gramm: 1750.
Deutsch Erstausgabe. CLV S. + 455 S. Alles über Huckleberry Finn. Abenteuer von Huckleberry Finn (Tom Sawyers Kamerad) von Mark Twain (Samuel L. Clemens). Herausgegeben, Eingeleitet und Annotiert von Michael Patrick Hearn. Vollständig übertragen und Adaptiert von Friedhelm Rathjen. Mit den Originalillustrationen von E. W. Kempel. Mit zahlr. s/w Abb. Das untere Kap. ist etw. bestoßen. Der Su. hat Randbestoßungen , ist vorne etw. berieben und hat seitl. kl. Flecken. Des weiteren ist der Su. hinten im oberen Beriech etw. knickspurig und hat hinten mittig kl. Schlieren. Sonst gutes Exemplar. D 2.6 3203835355 Sprache: Deutsch Gewicht in Gramm: 1800 Gr.-8° Groß-Oktav, Hardcover/Pappeinband.
Natur, Wissenschaft und Technik in einer römischen Stadt. Führer zur Ausstellung im Deutschen Museum. Deutsches Museum/München 2000, 175 S., Abb.,OKarton, 4°, sauberes Exemplar. 3800734 Sprache: Deutsch Gewicht in Gramm: 2222.