hilbert d ackermann w (32 risultati)

G, clean HB; owner's name; no DJ. 130 pp.

Hardcover. Condizione: Fair. No Jacket. Fair, unmarked HB; owner's name; no DJ.

Paperback. Condizione: Very Good. Softcover. Good binding and cover. Minimal wear/tear to wraps. Generally clean. 133 p., 25 cm.

Trade Paperback. Condizione: Used Good. Ourside is much worn, inside has no marks or writing.

Hardcover. Condizione: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Condizione: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Condizione: 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.

Hardcover. Condizione: Very Good. 1st Edition. 172 pp. Navy cloth, gold lettering spine. Binding and pages clean, page margins age-toned. VERY GOOD. First English translation from the second German edition. Book.

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

Condizione: New. 1950. paperback. . . . . .

Soft cover. Condizione: Very Good. HILBERT, D. & W. ACKERMANN. Grundzüge der Theoretischen Logik. Berlin: Julius Springer, 1938. viii, 133pp. Very Good. Original wrappers. Few bumps and very short tears here and there. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII. This is a nice copy of a great classic in the history of mathematical logic.

Hard Cover. Condizione: Good. No Jacket. First Thus. From an academic library with the usual stamps etc.

Condizione: New. 1950. paperback. . . . . . Books ship from the US and Ireland.

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

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. Condizione: 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. Condizione: 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.

Madrid, Editorial Tecnos, 1968, 23x16 cm. 213 págs.

Hardcover. Condizione: Very Good. 1st Edition. 120 pp. Hardcover, bound in yellow cloth. Moderate edge-wear; prior owner name front fly leaf; bibliographical notation on the rear fly leaf. Postcard portrait of Hilbert laid inside. Text in German.

Hardcover. Condizione: Near Fine. No Jacket. 1st Edition. viii, 120 pp. Original yellow cloth. Very Good+. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII.

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.

Hardcover. Condizione: Very Good. No Jacket. VERY GOOD; pages inside are clean and unmarked except for a small signature on the flysheet and the binding is tight; 8vo - over 7¾" - 9¾" tall Size: 8vo - over 7¾" - 9¾" tall.

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.

Springer Verlag 1959 cloth, Vierte Auflage, 188 pp (code Sc-244).

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