1 778 résultats
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).
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.
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.
1936137pp., 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
1936réf. 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
2015New English Original bdg. HC. Roy. 8vo. (24 x 17 cm). In Turkish and facsimile in Arabic. 634 p. A very heavy volume. Hikmetü'l-isrâk. Translated by Eyüp Bekiryazici, Üsmetullah Sami. Facsimile and Turkish translation of manuscript Topkapi Palace Museum Library, III. Ahmed Collection, No. 3267. ISLAM Tasavvuf Sufism Anatolian Islam Isrâkiyye - Ishrakiyya school Islamic philosophy Criticism Critics Logic Aristoteles Messâi Mead Epistemology Cosmology Psychology Ontology Fi'l-Envâri'l-ilâhiyye ve nûrü'l-envâr ve mebâdi'ü'l-vücûd ve tertîbühâ Heterodoxy.
1879réf. 22801Paris, Scheicher pères, [1879] ; in-8°, demi-chagrin vert foncé, dos à nerf, pièces d'auteur et de titre rouge et doré (reliure de l'époque) ; X, 601 p., frontispice et XV planches hors-texte, dont 3 dépliantes, Bibliographie p.563-568, index.
1978réf. RO80153451DU PROGRES. 1978. In-12. Relié toilé. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 643 pages.. . . . Classification Dewey : 160-Logique
réf. 102806Moscou, Editions du Progrès 1978, 205x130mm, 643pages, reliure d'éditeur. Bel exemplaire.
réf. 94607Paris, Presses Universitaires de France (PUF), 1964. 12 x 18, 128 pp., broché, bon état.
1969Mm 145x205 Volume rilegato in tela, sopracoperta originale, viii-333 pp. Testo in lingua inglese - english text. Libro in ottime condizioni, spedizione in 24 ore dalla conferma dell'ordine.
