Dudeney Henry E.MareMagnum
1 936 résultats
cartone edit. ill.
1989Cyb-7301Routledge, London and New York , Philosophers in Focus Series Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Très Bon paperback, editor's full yellow and grey printed wrappers In-8 1 vol. - 270 pages
16.5X23.5 cm. 23+xxi+777 pages. Softcover. Cover edge's slightly chafed. Spine edge's slightly chafed. Else in good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
23.5x15.5 cm. xxi+777 pages. Softcover. In good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
<p>22 cm, ril. coeva in mezza pelle, tit. e fregi in oro al dorso, decorazioni a secco ai piatti in tela, p. xii, 464. Firmetta di possesso alla prima c.b ed all'occhietto, qualche brunitura che non disturba la lettura del testo</p>
108pp., in the series "Janua Linguarum" series minor nr.63, small stamp, VG
1968T32685The Hague-Paris, Mouton 1968 108pp., in the series "Janua Linguarum" series minor nr.63, small stamp, VG
302pp., 28cm., onopengesneden, goede staat, F77404
1923F77404Leuven, De Vlaamsche Boekenhalle 1923 302pp., 28cm., onopengesneden, goede staat, F77404
20240Bruxelles, Paleis der Academiën, 1959. 18 x 26, 2 boeken (2 volumes), 889 pp., gebrocheerd (broché), goed exemplaar (bon état).
20241Bruxelles, Paleis der Academiën, 1959. 18 x 26, 2 boeken (2 volumes), 889 pp., gebrocheerd (broché), goed exemplaar (bon état).
pp. (viii) 439-889, in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor wetenschappen, letteren en schone kunsten van België. Klasse der letteren" nr.34
1959F49130Brussel, 1959 pp. (viii) 439-889, in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor wetenschappen, letteren en schone kunsten van België. Klasse der letteren" nr.34
volledig in 2 delen: viii + 889pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, goede staat, F62856
1959F62856Brussel, Paleis der Academiën 1959 volledig in 2 delen: viii + 889pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, goede staat, F62856
1959F117305Brussel, Paleis der Academiën 1959 volledig in 2 delen: viii + 889pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, fraai ingebonden in solide en uniforme gecart. banden, roodlinnen ruggen met titel in goudopdruk, goede staat, gewicht: 2.3kg., F117305
10219, Brussel, Paleis der Academien, 1960, Twee delen, gebrocheerd, originele uitgeversomslag, 18x26cm, 889pp. samen.
Volume 1 (v/d 2): viii + 435pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, goede staat, F88153
1959F88153Brussel, Paleis der Academiën 1959 Volume 1 (v/d 2): viii + 435pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, goede staat, F88153
VG green cloth boards with gilt titling. Minor wear around the edges, otherwise no significant faults. Octavo 356pp. Small textbook detailing the foundations of logic. Published for the Oxford University Tutorial Press.
In 8, tela ed., pp. 155.Es. con qualche brunitura alla cop., internamente buono stato.In lingua tedesca.Luogo di pubblicazione BerlinoEditore SpringerAnno pubblicazione 1949Collana Die Grundleheren der Mathematischen Wissenschaften in Einzeldarstellungen band XXVIIMateria/Argomento Logica
192846101Berlin Springer 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away no loss of letters. VIII120 pp. <br/><br/><em>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. </em> hardcover
192849908Berlin Springer 1928. 8vo. Uncut in orig. printed wrappers. VIII120. With the name of Bent Schultzer Former Danish professor in philosophy on first leaf. Internally clean. <br/><br/><em>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. </em> unknown
192846101Berlin, 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.
