1988rif. 009096Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1988. Very Good condition. 17 cm x 23.5 cm. Bound in the original brown pictorial wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Sketches from the History of German Philosophy. Text in Polish with brief summaries in German. Footnotes. Bibliographical references. ACTA Universitatis Wratislaviensis No. 835. Prace Filozoficzne L. Historia Filozofii 6. 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 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. 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. 114pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback
1605rif. 64759Marburg, Rudolph Hutwelcker, 1605. 4°. Mit Holzschn.-Titelbordüre. 14 nn. Bll., Geheftet (ausgebunden; ohne Einband).
rif. 5111Paris, Guillaume Desprez et Guillaume Cavelier, 1752 ( nouvelle édition revue et corrigée) – in-12, 432 pp – rel. basane marron d'ép., tr. marbrées.
1757rif. 75001757 Paris, chez David, Libraire, 1757 ; In-8°, plein veau marbré de l' époque, dos à nerfs, compartiments de double filet doré très orné de fleurons et petits fers dorés, palette dorée en tête et pied, titre doré sur étiquette de maroquin citron, tranches rouges; XIVpp.( titre, avertissements), (4)pp.( Epître à Madame la Marquise de Pompadour),(II)pp.(errata), 310pp., (7)pp.( Table, approbation privilège).L'épitre à la Marquise de Pompadour par le libraire David, est placée entre le titre et l'avertissement de la première édition. Bon exemplaire de ce classique de la rhétorique et de la logique : I. Des tropes en général - II. Des tropes en particuliers : la catachrese, la métonymie , la métalepse, la synecdoque, l'antonomase, la litote, la métaphore, l'allusion, l'ironie, l'euphémisme, l'antiphrase, la périphrase, l'hypallage, l'onomatopée,etc...- III. Des autres sens dans lesquels un même mot peut être employé dans le discours.
1833rif. 100147337Louis Hauman et Comp 1833 in8. 1833. Relié. Ouvrage de 1833 du baron de Reiffenberg présentant un cours complet sur la logique accompagné d'une histoire et d'une bibliographie de cette science. Il s'agit d'une réédition patrimoniale visant à conserver les ouvrages de la littérature française
1772rif. PHO-2090Lyon, Chez Jean-Marie Bruyset, 1772, 2 volumes in-12 (17x10cm), xlviii-463pp., 2ff.-547pp.-2ff., basane époque, dos à nerfs avec pièces de titre et tomaison grenat, épidermures et frottements, manque aux dos, coins usés.
1979rif. F111691Liège, s.d. [1979] x + 621pp., 30cm., Thèse présentée pour l'obtention du grade de Docteur en Philosophie à l'Université de l'Etat à Liège, br.orig., cachet au verso de la p.d.t., texte en typoscript et en bon état, poids: 2.5kg., F111691
1979x + 621pp., 30cm., Thèse présentée pour l'obtention du grade de Docteur en Philosophie à l'Université de l'Etat à Liège, br.orig., cachet au verso de la p.d.t., texte en typoscript et en bon état, poids: 2.5kg., F111691
1655rif. 52386Köln, Konstantin Münich, 1655. 12°. Mit illustr. Kupfertitel. 9 Bll., 338 S., 1 Bl., Pgmt. d. Zt. m. dreiseitigem Rotschnitt.
1973rif. R100051146Seuil. 1973. In-8. Broché. Etat d'usage, Tâchée, Dos plié, Intérieur acceptable. 349 pages - coins frottés - pliures sur les plats.. . . . Classification Dewey : 160-Logique
1948rif. 009130Oslo Norway: Skrivemaskinstua 1948. Very Good condition. 20.5 cm x 28.5 cm. Staple-bound light blue stiff-paper wrappers mildly faded. Spine covered with dark blue paper that is chipped at the ends. Mimeographed typescript. Pages are printed on one-side rectos only. NO owner's name or bookplate. Pages are bright white clean and unmarked. Text in Norwegian or so I'm guessing. Laid-in are 2 sheets of printed corrections Rettelser til. This is quite possibly the very copy used for the review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC 14 1949 185-186. It 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. 2. utgave. Oversize Softcover. Very Good condition. iv 192 sheets sides. Great Packaging Fast Shipping. Skrivemaskinstua Paperback
In 16o, pp. 208, carton. coevo. Traduzione dal francese dell'abate Diodato Anniani Romano. L'abate Cochet era rettore anziano dell'Università. di Parigi. Lieve gora di umidità. Ottimo e raro (2502/ LOGICA - FILOSOFIA - BELLE ARTI - LUCCA)
rif. SONG3540629637Used: Good unknown
1963rif. 005923Djursholm Sweden: Institute Mittag-Leffler 1963. Near Fine condition. SEE PHOTOS. Bright clean square and tight. Hinges are perfect. Bound in the original blue cloth with gilt lettering on the front cover and on the spine over a handsome brown panel. Gilt lettering is still bright and shiny. Pages are clean and unmarked. No underlining. No highlighting. No margin notes. Includes LOGIC ARITHMETIC AND AUTOMATA by Alonzo Church along with a large number of other papers most in English but with some in French German or Russian. Bibliographical references. Index. From the preface: "This volume contains the official record of the International Congress of Mathematicians held in Stockholm from 15 to 22 August 1962 and the text of the addresses given by invitation of the Organizing Committee." This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction. 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 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. 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. Hardcover. Near Fine condition/No dust jacket. Illus. by NOT a library discard. 8vo. L 597pp. Great Packaging Fast Shipping. Institute Mittag-Leffler Hardcover
1995rif. F67920Turnhout, Brepols 1995 cxviii + 193pp. + 16 plates out-of-text, 25cm., in the series "Corpus Christianorum Continuatio Mediaevalis" volume CXX (120), publisher's hardcover binding in orange cloth with gilt lettering, ISBN 2-503-04201-5, (introduction in Italian, text in Latin), very good condition, F67920
rif. 0444893415.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1999rif. x-0521635497Cambridge Univ Pr 1999. Paperback. New. 436 pages. 8.75x6.25x1.00 inches. Cambridge Univ Pr paperback
18173 voll di opera divisa in quattro parti,(10 voll) disponiamo del vol. II della prima parte, Ideologia propriamente detta, pp. 189; vol. I della seconda parte, Grammatica generale alla quale si e' aggiunto un Estratto dell Storia naturale della parola, o sia Gramamtica universale di Court di Gebelin, pp. 182; vol. III della terza parte, Logica, alla quale premesso un Opuscolo recentemente pubblicato dall'Autore e intitolato Principii logici, o sia Raccolta di fatti relativi alla umana intelligenza, pp. 223; leg. in mz. perg. con ang., piatti marm., tass. e tit. al dorso. Dorsi molto rovinati, strappi e mancanze, e parzialmente anche al piatto post., del I vol(parte seconda), tagli spruzzati di col blu, interni in buono stato, alcune sottolineature a matita nel testo del III vol.(parte terza).Luogo di pubblicazione MilanoEditore Presso A.F. StellaAnno pubblicazione 1817Materia/Argomento Filosofia, Logica, Grammatica, Linguistica
2019rif. 030463Berlin & Boston: De Gruyter 2019. Fine condition. Square and tight. NO owner's name or bookplate. NOT a library discard. NOT a remainder. Pages are crisp clean and unmarked. NO underlining. NO highlighting. NO margin notes. Mostly in English. A few papers in German. Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium Publications of the Austrian Ludwig Wittgenstein Society New Series 27. Bound in the original white and gray pictorial laminated boards. From the publisher: "This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism mathematical realism and formalism. The contributing authors are Matthias Baaz Francesco Berto Jean-Yves Beziau Elena Dragalina-Chernya Günther Eder Susan Edwards-McKie Oliver Feldmann Juliet Floyd Norbert Gratzl Richard Heinrich Janusz Kaczmarek Wolfgang Kienzler Timm Lampert Itala Maria Loffredo D'Ottaviano Paolo Mancosu Matthieu Marion Felix Mühlhölzer Charles Parsons Edi Pavlovic Christoph Pfisterer Michael Potter Richard Raatzsch Esther Ramharter Stefan Riegelnik Gabriel Sandu Georg Schiemer Gerhard Schurz Dana Scott Stewart Shapiro Karl Sigmund William W. Tait Mark van Atten Maria van der Schaar Vladimir Vasyukov Jan von Plato Jan Wolenski and Richard Zach.". First Edition. Hardcover. Fine condition/No dust jacket as issued. Illus. by NOT a library discard. 8vo. xi 547pp. Great Packaging Fast Shipping. De Gruyter Hardcover
rif. chcp18lc90Very Good. A very nice copy. The pages are clean and unmarked. The binding is tight. unknown
rif. SONG3540442405Used: Good unknown
rif. 4170654like new. unknown
rif. 41591195like new. unknown
1991rif. 100124477BRISTOL CLASSICAL PR 1991 178 pages 15 8x1 6x23 8cm. 1991. Relié. 178 pages.
1995cxviii + 193pp. + 16 plates out-of-text, 25cm., in the series "Corpus Christianorum, Continuatio Mediaevalis" vol.120, editor's cloth with gilt lettering, VG, ISBN 2-503-04201-5, (introduction in Italian, text in Latin)
