Ergebnisse werden angezeigt für: Hilbert Ackermann (30 Ergebnisse)

Zustand: Very Good. *PRICE HAS BEEN REDUCED by 10% until Monday, Nov. 3 (sale item)* 172 pp., hardcover, previous owner's name to front free endpaper else 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.

cloth, 8vo viii+133 pp. der Aussagenkalkül; Klassenkalkül; Prädikatenkalkül; very good condition.

Hardcover. Zustand: Gut. Transl. by L.M. Hammond, G.G. Leckie & F. Steinhardt. N.Y., Chelsea (1950). gr.8°. XII, 172 p. OCloth. Name on flyleaf, few pages with pencil underlinigs.

3., verbesserte Auflage,. VIII, 155 Seiten, Sprache: Englisch Gewicht in Gramm: 340 Groß 8°, Original-Leinen, Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit leichten Rückständen vom Rückenschild, Stempel auf Titel, Papier leicht gebräunt, eine Seite mit hinterlegtem Einriss, insgesamt gutes und innen sauberes Exemplar,

cloth, Vierte Auflage, 188 pp.

sewed, 3rd edition, 155 pp Cover is repaired (not really professional.

Gebundene Ausgabe. Zustand: Gut. 5. 188 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Die Ausgabe des gelieferten Exemplars kann um bis zu 10 Jahre vom angegebenen Veröffentlichungsjahr abweichen und es kann sich um eine abweichende Auflage handeln. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Altersentsprechend nachgedunkelte/saubere Seiten in fester Bindung. Leichte Gebrauchsspuren. Schutzumschlag weist Gebrauchsspuren auf. Sprache: Englisch Gewicht in Gramm: 350.

5 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,

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.

Paperback. Zustand: Brand New. 172 pages. 9.02x6.02x0.51 inches. In Stock.

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.

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.

Reprint of second revised edition. VIII, 133 pp. Publisher's cloth, dust-jacket slightly chipped.

Hardcover. Zustand: Gut. 5. Aufl. Berlin, Springer 1967. VIII, 188 S. OLwd. (gering fleckig, sonst gut erhalten).- Grundlehren der mathematischen Wissenschaften, 27.

Zustand: New. In.

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.

hardcover. Zustand: Gut. 188 Seiten; B1834-16 3540038140 Sprache: Deutsch Gewicht in Gramm: 500.

Berlin, Springer, 1949. Orig. full cloth. A few brownspots to covers. A small stamp on foot of titlepage. VIII,156 pp.

Berlin, Springer, 1938. Orig. printed wrappers. Wr. with tear in spine. VIII,134 pp.

Zustand: New.

Zustand: Good. Envoi rapide Bon état couverture un peu défraîchie intérieur propre bonne tenue circa 1950. in8. Sans date. Cartonné. Good.

VIII, 188 S. OLwd. (Die Grundlehren der mathemat. Wissenschaften in Einzeldarst. 27). Sprache: Deutsch.

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.

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.

VIII, 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.

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.

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.

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.

Originalleinen.23cm. Zustand: Sehr gut. VIII, 155 Seiten. SEHR gutes Exemplar. ( We offer a lot of books on PHYSICS and MATHEMATICS on stock in EXCELLENT shape). Sprache: Deutsch Gewicht in Gramm: 350.