Ackermann th (7 Ergebnisse)
Verlag: Breitkopf&Härtel, Leipzig, 1872
- Softcover
- Erstausgabe
Anbieter: Malota, Klosterneuburg, ÖsterreichMalota
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 35,00
EUR 19,00 VersandVersand von Österreich nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. 1. Auflage. Erschienen 1872. Orig.-Brosch., 17x26, S 390-410. Zustand gut bis sehr gut.
Sprache: Deutsch
Verlag: Berlin / Leipzig, Rheingold (1920)., 1920
- Softcover
- Erstausgabe
Anbieter: Antiquariat im Schloss, Schwaigern, D, DeutschlandAntiquariat im Schloss
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 14,00
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Erste /1./ Auflage. 96 Seiten. Gutes Exemplar. Buchrücken mit kl. Ein- bzw. Abrissen. Einband gebrauchsspurig und leicht fleckig. Papier etwas angebräunt. Sprache: Deutsch Gewicht in Gramm: 900 Farbillustr. OBroschur. Kl.8vo. (15x10,5 cm). (= Rheingold-Romane Bd. 51).
Verlag: Rostock: G B Leopolds, 1860
- Hardcover
Anbieter: Gloria Mortzeck, Karlsdorf, DeutschlandGloria Mortzeck
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht
EUR 75,00
EUR 18,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
VII, 271 S. 8°, HLn., Rückenschild. Einband bestoßen, berieben, Etikettenreste, Flecken, Wasserränder. Papier lichtrandig, stockfleckig. Noch ordentlicher Zustand. Bibliotheksexemplar, Stempel und Signatur im Spiegel. 1000 gr.
Zurichtung und Prüfung des Leders (Handbuch der Gerbereichemie und Lederfabrikation, 3 / 1) (German Edition)
Ackermann, W.; Brill, A. C.; Diekmann, H.; Eitel, K.; Friederich, E.; Gnamm, H.; Grimm, O.; Miekeley, A.; Otto, G.; Sagoschen, J. A.; Trupke, J.; Volmer-Schuck, G.; Werner, H.; Windel, Th.; Wöllhaf, K.; Wudich, W.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 104,17
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Anbieter: Antiquariat Fatzer ILAB, Zug, SchweizAntiquariat Fatzer ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 19,00
EUR 50,00 VersandVersand von Schweiz nach USAAnzahl: 1 verfügbar
Luzern, Räber 1844. Gr.8°. 24 S. Geh. Gering stockfleckig.
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,69
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
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 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.
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,49
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
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 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.
