Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verlag: Berlin, Springer, 1959
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Buch
Leinen. 4. Aufl. 188 S.; mit Abb. Bibl.-Ex. Guter Zustand. Einband mit Gebrauchsspuren u. Spuren vom Ablösen eines Bibliotheksschildes. Sprache: Deutsch Gewicht in Gramm: 585.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verlag: Dover Publications 1946 1946, 1946
Anbieter: Rönnells Antikvariat AB, Stockholm, Schweden
Reprint of second revised edition. VIII, 133 pp. Publisher's cloth, dust-jacket slightly chipped.
Verlag: Springer, 1972
ISBN 10: 3540058435ISBN 13: 9783540058434
Anbieter: medimops, Berlin, Deutschland
Buch
Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Springer-Verlag, Berlin, 1949
Anbieter: ERIC CHAIM KLINE, BOOKSELLER (ABAA ILAB), Santa Monica, CA, USA
Hardcover. Zustand: g. Third edition. Quarto. 155, [1]pp. Original yellow cloth. Publisher's logo on title page. Third edition of Hilbert and Ackermann's Principles of Theoretical Logic. The book was intended as an introduction to mathematical logic, and to the forthcoming book of Hilbert and Bernays dedicated essentially to the study of first-order number theory. Moderate sunning on binding. Pages age-toned throughout. Text in German. Binding and interior in overall good- to good condition.
Verlag: Chelsea Publishing Company, New York, 1950
Anbieter: Evening Star Books, ABAA/ILAB, Madison, WI, USA
Erstausgabe
Hardcover. Zustand: Near Fine. First English language edition. 8vo. [2], iii-xii, 1-172, [8] (pages of publisher's advertisements) pp. Navy cloth with gold lettering on the spine. Omega Logic I, 229. Risse II, 261. The first English language edition. A nice copy. Bookplate on the front pastedown, very minor foxing to the edges of the pastedowns and flyleaves.
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642654010ISBN 13: 9783642654015
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Berlin, Julius Springer, 1928. 8vo. Publisher's full cloth. Ink signature of Samuel Skulsky on front free end paper. Completely clean throughout. A fine and tight copy. First edition of the foundation of modern mathematical logic.In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever. Scarce in this condition.
Verlag: Springer-Verlag, 1949
Anbieter: Antiquariaat van Starkenburg, Apeldoorn, Niederlande
sewed, 3rd edition, 155 pp Cover is repaired (not really professional.
Verlag: Springer, Berlin, 1938
Anbieter: Argosy Book Store, ABAA, ILAB, New York, NY, USA
hardcover. Zustand: fine. 134 pages. Slim 8vo, yellow cloth. Berlin: Julius Springer, 1938. Zweite Auflage. Neat ownership signature, else fine. Die Grundlehren der Mathermatischen Wissenschaften in Einzeldartstellungen, band XXVII.
Verlag: Springer Verlag, 1959
Anbieter: Antiquariaat van Starkenburg, Apeldoorn, Niederlande
cloth, Vierte Auflage, 188 pp.
Berlin, Springer, 1938. Orig. printed wrappers. Wr. with tear in spine. VIII,134 pp.
Berlin, Springer, 1949. Orig. full cloth. A few brownspots to covers. A small stamp on foot of titlepage. VIII,156 pp.
Berlin, Göttingen., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp. A few underlinings and notes.
Berlin, Göttingen., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp.
Gr.-8°. VIII,155 S. Orig.-Leinen. Dritte, verbesserte Auflage. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band XXVII.
Berlin, Springer, 1938. Lex8vo. Uncut in orig. printed wrappers. Small stamp on foot of titlepage. VIII,134 pp. From the library of the Danish logician and philosopher Jørgen Jørgensen with his name on frontcover. A fine clean copy.
Verlag: Springer-Verlag, Berlin, Heidelberg, New York,, 1967
Anbieter: Bouquinerie du Varis, Russy, FR, Schweiz
Verlegereinband mit Umschlag. 240x160mm, VIII - 188Seiten, Guter Zustand. En cas de problème de commande, veuillez nous contacter via notre page d'accueil / If there is a problem with the order, please contact us via our homepage.
Verlag: Chelsea Publishing Company, New York, 1950
Anbieter: ERIC CHAIM KLINE, BOOKSELLER (ABAA ILAB), Santa Monica, CA, USA
Erstausgabe
Hardcover. Zustand: vg++. Quarto. XII, 172, [8]pp. Original blue cloth with gold lettering on spine. "Principles of Mathematical Logic" represents one of Hilbert's important contributions to that debate. Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic. Binding and interior in near fine to fine condition. First American edition translated from the second German edition.
Verlag: Berlin ua Springer, 1959
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
Verbandsmitglied: BOEV
VIII, 188 S. OLwd. (Die Grundlehren der mathemat. Wissenschaften in Einzeldarst. 27). Sprache: Deutsch.
Verlag: Julius Springer,, Berlin,, 1938
Anbieter: Burwood Books, Wickham Market, Vereinigtes Königreich
Verbandsmitglied: PBFA
Hardcover. Zustand: Very Good. Second Enlarged Edition. Hardback. No Dust Jacket. 8vo. pp viii, 133. German text. From the library of philosopher J.N. Findlay (1903 - 1987) with his ownership signature reading' John Findlay/ February '40.' He was professor of philosophy at Boston University & author of books on Plato, Meinong, Kant, Wittgenstein, phenomenology and Hegel. His 1958 work 'Hegel: An Examination' was instrumental in reviving interest in Hegel in the English-speaking world. He also translated Husserl from the German. With loosely inserted mathematical notes by him on three pages. Very good indeed.
Erstausgabe
Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp. First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.
Erstausgabe
Berlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean. First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.