1 936 résultats
1979F111691Liè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
165552386Köln, Konstantin Münich, 1655. 12°. Mit illustr. Kupfertitel. 9 Bll., 338 S., 1 Bl., Pgmt. d. Zt. m. dreiseitigem Rotschnitt.
47802Mouton & Cie.1958.2 vols.in-8 toilés rouge.Vol.I et II.560 et 468 p. TBE.malgré dos un peu passés.
1973R100051146Seuil. 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
1957023568Lund / Copenhagen: CWK Gleerup / Ejnar Munksgaard 1957. INSCRIBED by the AUTHOR: "with the writer's compliments" but unsigned. From the library of Prof. Alonzo Church. Very Good condition. NOT a library discard. No. 2 in the Library of Theoria series edited by Ake Petzall. A pioneer work in the logic of preference. From: The Philosophy of Sören Halldén edited by K. Segerberg and N-E Sahlin: "The contraposition principle -- In On the Logic of Better Sören Halldén defends a principle that says that the better the presence of something is the worse is its absence.5 If coffee is better than tea then not-tea is better than not-coffee. Or to take a more extreme example if not-cancer is better than not-flu then flu is better than cancer which on the surface sounds quite reasonable. Halldéns argument in favour of this principle runs as follows: Making a value comparison generally means not comparing A to B but rather comparing A without B to B without A. To say that it is better to be a philosopher than to make money using Aristotles own examples is to say that to be a philosopher and not making money is better than to make money and not be a philosopher. Making money and being a philosopher is not considered a possibility." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. 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. This book doesn't have Alonzo Church's name anywhere but see our inventory for several other items that do. INSCRIBED by the AUTHOR. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 112pp. Great Packaging Fast Shipping. CWK Gleerup / Ejnar Munksgaard 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)
1983009113Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1983. Very Good condition. 16 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers with minor crease to one corner of the front cover. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 7 papers -- 1 in French 1 in German and 5 in English including: ON AN APPLICATION OF TRUTH-FUNCTIONS TO THE LOGIC OF PREDICATES by Alfons Grieder. 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 première édition. Softcover. Very Good condition. 119pp. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
1988009096Wroclaw 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
1995F67920Turnhout, 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
44930Vrin.1935.2 vols.in-8 br. Tome I: Le dualisme antagoniste et les exigences historiques de l'esprit.308 p.non coupées. Tome II: Essai d'une nouvelle théorie de la connaissance.296 p.non coupées. BE.Tome I: qques marques de crayon en marges.Couvs. insolées.Dédicace de l'Auteur dans le I.
1948009130Oslo 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
3 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
1963005923Djursholm 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
1999x-0521635497Cambridge Univ Pr 1999. Paperback. New. 436 pages. 8.75x6.25x1.00 inches. Cambridge Univ Pr paperback
2019030463Berlin & 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
1991100124477BRISTOL CLASSICAL PR 1991 178 pages 15 8x1 6x23 8cm. 1991. Relié. 178 pages.
cxviii + 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)
In 8. Dim. 21x13,5 cm. Pp. (4)+127, 222, (6)+168. Edizione del 1789 di questa interessante opera di filosofia scritta da Jacopo Facciolati (1682-1769) nato a Torreglia e morto a Padova, sacerdote, filologo, latinista e filosofo. Facciolati venne ordinato sacerdote nel 1704 e conseguì la laurea nello stesso anno. Insegnò logica all'Università di Padova. L'opera sono una serie di istituzioni di logica. Tra gli argomenti trattati: logica, verità del segno, divisione, enunciazione, raziocinio, sillogismo, metodo, predicabilia, predicamenti, analitiche, topiche, sofistica, acroasio, lettere ecc... Alcune figure all'interno. Purtroppo risultano mancanti le pagine dalla 6 alla 13 del tomo secondo. In discrete condizioni, in barbe. Copertina morbida coeva in mediocri condizioni generali con usure e parti mancanti ai margini e dorso. Dorso in parte staccato. Legatura in discrete condizioni con rotture. All'interno le pagine si presentano in buone condizioni con fioriture. Mende. Qualche lieve gora d'umidità marginale. Usure al margine inferiore delle prime otto pagine. Edition of 1789 of this interesting work of phylosophy written by Jacopo Facciolati (1682-1769) priest, phylologist, latinist and phylosopher. Facciolati was ordinated priest in 1704 and obtained the degree the same year. He teached logic in the university of Padoa. The work are a series of institutions of logics. Between the issues treated: logics, truth of sign, division, enunciation, sillogism, method, predicabilia, predicaments, analitics, topics, sophystics, acroasio, letters ecc... Some illustrations inside. Unfortunately pages from 6 until 13 of the second tome are missing. In fair conditions, uncut copy. Soft coeval cover in poor general conditions with wearings and missing parts in the edges and spine. Spine is partially detached. Binding in fair conditions with cracks. Inside pages are in good conditions with foxings. Usage signs. Some slight humidity signs in the edges. WEarings in the lower edge of the first 8 pages.
114853Masson Masson, Coll. Logique Mathématiques Informatique, 2 volumes, 1989, xii-287 p. et vi-288 p., brochés, environ 24x16cm. Quelques frottements d'usage en bordure des couvertures, coin supérieur des pages du tome 1 et coins des plats des 2 tomes un peu cornés. Bon état pour le reste.
1951F119073St. Bonaventure, The Franciscan Institute 1951-1954 2 volumes, xiv + 461pp. (continuous pagination), 23cm., in the series "Franciscan Institute Publications. Text series" nos.2 & 4, softcovers, small label at lower end of spine, text is clean and bright, good condition, [Introduction in English, text edition in Latin], F119073
2006R100068644Librairie philosophique J.Vrin. 2006. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Intérieur frais. 512 pages - pliure sur le 1er plat.. . . . Classification Dewey : 160-Logique
41591195like new. unknown
Mm 130x195 Sesta edizione veneta. Tre volumi rilegati in uniforme copertina rigida marezzata con titolo su etichetta applicata, dorsi con segni d'uso ai margini, gore alla base inferiore dei libri non intralciano la lettura; legature ben salde in ciacun tomo. "Tomus primus, in quo traduntur philosophiae prolegomena, et elementa logicae" di xx-202 pagine e quattro tavole ripiegate. "Tomus alter, in quo traduntur elementa metaphysicae, et physicae generalis" di xvi-375 pagine con cinque tavole ripiegate. " Tomus tertius, in quo traduntur elementa physicae particularis" di xvi-552 con undici tavole ripiegate in chiusura del tomo. Spedizione in 24 ore dalla conferma dell'ordine
Volume in 8° piccolo, legato in mezza pelle con unghie (mende e mancanze), tagli colorati, bianche, frontespizio, 303 pp. Opera del gesuita carinziano Sigismund von Storchenau (1731-1789), filosofo wolffiano, importante e prolifico autore, l'opera qui presentata fu di enorme successo, tanto da essere adottata come manuale di studio anche dai membri dell'ordine Agostiniano. Di non facile reperibilità ed in buone condizioni, fatto salvo le mende alla legatura.
0444893415.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
