1778 risultati
1963rif. F116940Louvain/ Paris, (Béatrice)-Nauwelaerts 1963 614pp. + frontispice (portrait de prof. Ch. Perelman), 24cm., brochure originale, publié dans "Logique et analyse. Nouvelle série" 6e année nos.21 à 24, bon état, F116940
1789rif. 97841789 Paris, s.e., 1789. Un volume in-8 pleine basane noisette, dos orné de filets dorés, pièce de titre en maroquin rouge, vi et 228 pages. Tête arasée, charnière fendue, travail de vers en marges des premiers feuillets, sans atteinte au texte.
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. 65314Presses de l'Ecole Normale Supérieure, 1985, 196 pp., broché, légères traces d'usage, bon état général;
1964rif. MATH0248Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.
1865504pp., 23cm., br.muette, texte frais et sans rousseurs, F88312
1865rif. F88312Paris, Lacroix, Verboeckhoven et cie. 1865 504pp., 23cm., br.muette, texte frais et sans rousseurs, F88312
rif. 2963n 4°. Ed. Masson et Cie, 1938. Br. 209 pp.Exemplaire non coupé. tres bon etat , complet , photos sur demande , 11 planches + des illustrations in texte
rif. 33844Turnhout, Brepols, 1979 Paperback, VII+417 p., 165 x 240 mm. ISBN 9789070419028.
12mo (183 x 113mm), in two parts, [2], x, 13-384pp., part I has a separate title-page, with a divisional title-page for Part II, light foxing of the text at intervals, pencil notes and underlining in margins, original boards, uncut, upper hinge cracked, head of spine with some loss. The ESTC locates 3 copies of this edition; The British Library (imperfect), Liverpool University Library and Arizona State University.
1953rif. 009122Helsinki Finland: Societas Philisophica 1953. Very Good condition. 17.5 cm x 25 cm. A solid copy. Bound in the original paper wrappers a little rubbed and mildly sun-darkened at the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Entirely in English. Bibliographical references. Complete with page of corrections. Very early work by the Finnish philosopher and logician Jaakko Hintikka -- currently Professor of Philosophy at Boston University. Regarded by many as the founder of formal epistemic logic and of game semantics for logic Hintikka has made significant contributions to epistemology language theory mathematical logic philosophical logic the philosophies of mathematics and science. He was awarded the Rolf Schock prize in logic and philosophy in 2005 "for his pioneering contributions to the logical analysis of modal concepts in particular the concepts of knowledge and belief." This is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis the Church-Turing Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Edition. Softcover. Very Good condition. 73pp. Great Packaging Fast Shipping. Societas Philisophica Paperback
2013rif. 040043BINARY LOGIC SA 2013. paperback. New. 11x8x0. NEW!I ship Worldwide from Puerto Rico USA. Listing Includes Books Image . Please email me if you need to see more pictures! The orders are processed promptly carefully packaged and shipped within 1 day of purchase. PLEASE NOTE! if you need the book quickly please Purchase Priority Shipping. Media will not show updates in mail confirmation till reaches continental U.S. BINARY LOGIC SA paperback
rif. ria9780198758396_inpPaperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Offers the first overarching history of the humanities from Antiquity to the present. paperback
1998rif. 153796Indiana University Press. 1992, 1998. XLI, 399 und XXXVIII, 584 S. 23,5*15 cm. OBroschuren.
rif. 4172845-nnew. unknown
1972Mm 155x215 Collana "Nuova Biblioteca Scientifica Einaudi" - Due volumi nella loro brossura originale con copertina a stampa, xxviii-xi-755 pagine con numerazione continua. Edizione italiana a cura di Alberto Conte. Segni d'uso e del tempo al dorso del primo volume, un timbro di biblioteca privata dismessa in apertura di entrambi i tomi che sono in buone condizioni nelle loro legature ben salde; spedizione in 24 ore dalla conferma dell'ordine.
1828rif. 43Paris, Beaucé-Rusand, Belin-Mandar et Devaux ,1828. In-8 , élégante demi reliure noire à coins, dos à nerfs orné de caissons dorés. 318 p., portrait gravé de Bossuet en frontispice, grandes marges.
2004cm. 17 x 24, viii-580 pp. Lessico intellettuale europeo Ventisei contributi affrontano il tema nella prospettiva logica, grammaticale o teologica dal secolo XII fino all?inizio del secolo XVI. Particolare attenzione ? riservata ad autori come Abelardo, Ockham e Buridano, che sono al centro del dibattito storiografico per alcune loro posizioni o che sono oggetto di nuove e stimolanti proposte di lettura. Twenty six contributions focus on the the themes of logic, grammar and theology from the 12th to the beginning of the 16th centuries, with particular attention to authors such as Abelard, Ockham and Buridan, whose ideas form the core of the historiographical debate. Fresh and stimulating new interpretations are suggested. Multi 1063 gr. viii-580 p.
1756rif. GOTb276A Paris chez les Frères Estienne 1756. In-12 596pp 2ff n ch. Pleine basane havane, dos à nerfs orné de compartiments dorés, pièce de titre tabac, double encadrement de filets dorés sur les plats, tranches brique, rel époque. orné d'un frontispice et 20 planches hors texte dépliantes. Petit manque sur la coiffe supérieure et une coupe, 1 coin usé, manque 1 page de garde. Bien complet du frontispice et des 20 planches.
1937rif. F117008Firenze, La Nuova Italia 1937 xx + 469pp., edition limited to 1500 numbered copies : this is no.619, original softcover, most pages are still uncut, text in Italian, good condition, 22cm.,
1966xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898
1966rif. F104898The Hague, Martinus Nijhoff 1966 xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898
1955rif. 009117Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and reasonably tight. Bound in the original paper wrappers a little sun-faded at the edges. NO owner's name or bookplate. Pages are clean and unmarked but for a tiny ink mark in the margin only of a few pages at the end. Collection de logique mathematique série A No. I. The first page has one small ink stamp: "HOMMAGE DE L'AUTEUR." This is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis the Church-Turing Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. Deuxième édition revue et augmentée. Softcover. Very Good condition. xv 243pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
