2 585 résultats
1968réf. T32685The Hague-Paris, Mouton 1968 108pp., in the series "Janua Linguarum" series minor nr.63, small stamp, VG
1923302pp., 28cm., onopengesneden, goede staat, F77404
1923réf. F77404Leuven, De Vlaamsche Boekenhalle 1923 302pp., 28cm., onopengesneden, goede staat, F77404
réf. 20240Bruxelles, Paleis der Academiën, 1959. 18 x 26, 2 boeken (2 volumes), 889 pp., gebrocheerd (broché), goed exemplaar (bon état).
réf. 20241Bruxelles, Paleis der Academiën, 1959. 18 x 26, 2 boeken (2 volumes), 889 pp., gebrocheerd (broché), goed exemplaar (bon état).
1959pp. (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
1959réf. F49130Brussel, 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
1959volledig 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
1959réf. F62856Brussel, 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
1959réf. F117305Brussel, 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
réf. 10219, Brussel, Paleis der Academien, 1960, Twee delen, gebrocheerd, originele uitgeversomslag, 18x26cm, 889pp. samen.
1959Volume 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
1959réf. F88153Brussel, 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.
1949In 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
1928réf. 46101Berlin 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. 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. hardcover
1928réf. 49908Berlin 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. 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. unknown
1928réf. 46101Berlin, 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.
1928réf. 49908Berlin, 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.
1938réf. MATH0226Bln., Springer 1938. gr.-8°, VIII, 133 S., 1 Bl. Vlgsanz., OLn., verstaubt, geringe Gebrauchsspuren, Innentit. m. überklebten Ausschnittstellen (Stempel?), flieg. Vors. m. Besitzerstemp. (= Die Grundlehren d. mathemat. Wissenschaften in Einzeldarstellungen Bd. XXVII).
réf. 1543459609.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1989réf. PHILOSOP00000922Paris, Editions de Minuit, "Philosophie", 1989, 13,5 x 22, 482 pages cousues sous couverture souple imprimée.
fort volume grand in-8°, XXXI-883 pp., illustrations, index, broché, couv. ill. Excellent etat. [AR-2]
19868' black hardcover, dust jacket slightly worn, else in good+/good condition.
