Hilbert d ackermann w (20 Ergebnisse)
- Hardcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 48,94
EUR 3,89 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. 172 pp., hardcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Weitere BilderVerlag: CHELSEA PUBL.
- Hardcover
Anbieter: ThriftBooksVintage, Tukwila, WA, USAThriftBooksVintage
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 47,16
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. No Jacket. Previous owner name on front free page; Plastic jacket is scuffed; This could have light cosmetic flaws, but remains in good condition. Secure packaging for safe delivery.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,76
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 172 pages. 9.02x6.02x0.51 inches. In Stock.
Verlag: New York, Dover Publications, , 2. verbesserte Auflage, 1946
- Hardcover
Anbieter: Pallas Books Antiquarian Booksellers, Leiden, NiederlandePallas Books Antiquarian Booksellers
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 20,00
EUR 27,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den Warenkorbcloth, 8vo viii+133 pp. der Aussagenkalkül; Klassenkalkül; Prädikatenkalkül; very good condition.
Verlag: Dover Publications 1946 1946, 1946
- Hardcover
Anbieter: Rönnells Antikvariat AB, Stockholm, SchwedenRönnells Antikvariat AB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 25,19
EUR 26,00 VersandVersand von Schweden nach USAAnzahl: 1 verfügbar
In den WarenkorbReprint of second revised edition. VIII, 133 pp. Publisher's cloth, dust-jacket slightly chipped.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,99
EUR 9,07 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. 1950. paperback. . . . . . Books ship from the US and Ireland.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 84,53
EUR 7,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New.
Weitere BilderSprache: Englisch
Verlag: Springer, Berlin, 1967
- Hardcover
Anbieter: Antiquariat Silvanus - Inhaber Johannes Schaefer, Ahrbrück, DeutschlandAntiquariat Silvanus - Inhaber Johannes Schaefer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 54,00
EUR 45,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb5. Auflage.. VIII, 188 Seiten, Sprache: Englisch Gewicht in Gramm: 420 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.
Verlag: Springer-Verlag, Berlin, 1949
- Hardcover
Anbieter: ERIC CHAIM KLINE, BOOKSELLER (ABAA ILAB), Santa Monica, CA, USAERIC CHAIM KLINE, BOOKSELLER (ABAA ILAB)
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 57,83
EUR 4,32 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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 fi…rst-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
- Hardcover
- Erstausgabe
Anbieter: Evening Star Books, ABAA/ILAB, Madison, WI, USAEvening Star Books, ABAA/ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 73,85
EUR 5,62 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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 o…f the pastedowns and flyleaves.
Weitere BilderVerlag: Berlin: Springer, 1928
- Hardcover
- Erstausgabe
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes KönigreichPlurabelle Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Gut
EUR 149,34
EUR 14,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: Very Good. Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. viii 120p yellow cloth fresh and tight, no names not stamps, no traces of use, this is an excellent fresh and clean copy, corners slightly rounded, boards perfect flat and clean, inner hinges without flaws, spine lette…ring bright, hard to imagine a better copy Language: German.
- Hardcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 41,33
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Springer, 1949. Orig. full cloth. A few brownspots to covers. A small stamp on foot of titlepage. VIII,156 pp.
- Softcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 41,33
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Springer, 1938. Orig. printed wrappers. Wr. with tear in spine. VIII,134 pp.
- Hardcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 58,55
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Göttingen., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp. A few underlinings and notes.
- Hardcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 62,00
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Göttingen., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp.
- Softcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 89,55
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, 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: Berlin Springer, 1928
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
SonderangebotAktueller Preis: EUR 88,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbVIII, 120 S. OPpbd. m. Rsign. Einbd. leicht angeschmutzt, beschabt und bestoßen. M. Tekt. u. Resten gelöster Tekt. a. Spiegel. M. mehr. Sign. u. St. Vereinzelt Bleistiftanm. (Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen XXVII). Sprache: Deutsch.
Grundzüge der theoretischen Logik.
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
- Hardcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 206,66
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, 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 Univerist…y 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.
- Hardcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 275,55
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Julius Springer, 1928. 8vo. Publisher's full cloth. Light miscolouring to boards. Completely clean throughout. A nice 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 mathemati…cs. 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.
Grundzüge der theoretischen Logik.
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
- Softcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 344,44
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, 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 cou…rses 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.
