1807 risultati
1959rif. 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
1959rif. 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
1959rif. 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
1959rif. 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
rif. 10219, Brussel, Paleis der Academien, 1960, Twee delen, gebrocheerd, originele uitgeversomslag, 18x26cm, 889pp. samen.
rif. 20240Bruxelles, Paleis der Academiën, 1959. 18 x 26, 2 boeken (2 volumes), 889 pp., gebrocheerd (broché), goed exemplaar (bon état).
rif. 20241Bruxelles, Paleis der Academiën, 1959. 18 x 26, 2 boeken (2 volumes), 889 pp., gebrocheerd (broché), goed exemplaar (bon état).
1923302pp., 28cm., onopengesneden, goede staat, F77404
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
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
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
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.
1928rif. 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.
1928rif. 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.
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
1928rif. 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
1928rif. 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
1938rif. 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).
rif. 1543459609.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1989rif. 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.
1984Mm 160x240 Collana "Biblioteca scientifica". Prima edizione italiana a cura di Giuseppe Trautteur. Brossura editoriale, XXVII-852 pagine con illustrazioni in nero nel testo. Lievi segni del tempo esterni, interno in buon ordine con legature ben salde. Spedizione in 24 ore dalla conferma dell'ordine.
1936rif. F107689München, Bayerischen Akademie der Wissenschaften 1936 137pp., in the series "Sitzungsberichte der Bayerischen Akademie der Wissenschaften" 1936 Heft 9,, 23cm., softcover (few loss of paper at lower end of spine), most pages are still uncut, good condition, F107689
