1806 risultati
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
rif. 0444893415.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. 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
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
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)
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
2010rif. 1-3838332350LAP Lambert Academic Publishing 2010. Paperback. New. 156 pages. 8.66x5.91x0.36 inches. LAP Lambert Academic Publishing paperback
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
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.
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.
1983rif. 009113Louvain 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
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
2005rif. x-1568812477A K Peters Ltd 2005. Hardcover. New. illustrated edition. 496 pages. 9.00x6.25x1.25 inches. A K Peters Ltd hardcover
1957rif. 023568Lund / 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
1973126 pages. References. List of symbols. Prior owner's neat ink stamp atop front free endpaper else clean, bright and unmarked with negligible wear. A lovely copy. Book
1960Brossura, cm18x26, pp XLVIII XXXVI 459 (7) + 16 tavole e 1 carta bianca in fine. Molto ben conservato, esemplare a fogli chiusi. Piccola nota a penna e a matita sul frontespizio. Riproduzione anastatica dell’edizione originale, con l’aggiunta di una introduzione di Ugo Cassina.
1954rif. 008335Groningen / Amsterdam: Erven P. Noordhoff N.V. / North Holland Publishing Co. 1954. Complete 3 volume set. Very Good or better condition in Poor - Good dust jackets. Each volume is clean square and bound in the original maroon cloth stamped in gold on the spine and front cover. Inner hinges in volumes 2 and 3 are cracked but still holding. Only one of the plain paper Dust Jackets vol. I is Good; the other two are Poor separated at the spine with edge tears. All pages are clean and unmarked. Volumes II and III appeared in 1954 and 1956 respectively. Volume I was published last in 1957. This set was among several dozen books 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 these volumes do not have 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. Very Good condition/Poor - Good dust jackets. 3 vols.: 582pp. 440pp. 560pp. Great Packaging Fast Shipping. Erven P. Noordhoff N.V. / North Holland Publishing Co. Hardcover
1936rif. 006367Princeton New Jersey: The Guild of Brackett Lecturers 1936. A remarkably well-preserved copy. Near Fine condition in a Fair glassine jacket. Sharp corners. Clean square and tight. This copy still has a plain glassine cellophane Dust Jacket presumably original. The jacket is heavily chipped along the spine but NOT separated. Bound in the original gray boards with a white label printed in red and black on the front cover. The upper board shows just a faint touch of darkening along part of the top edge where a chip in the jacket allowed access. No owner's name or bookplate. Pages are fresh crisp and unmarked. Subtitle: "An Address delivered before Princeton University on March 10 1936 in the Cyrus Fogg Brackett Lectureship in Applied Engineering and Technology." The author was President New Jersey Bell Telephone Company. First Edition. Hardcover. Near Fine condition/Fair glassine jacket. 8vo. 40pp. The Guild of Brackett Lecturers Hardcover
1961rif. 009128München: M. Weiss 1961. Very Good condition. 15 cm x 21 cm. A solid copy -- square and tight. Bound in the original cloth-backed paper wrappers. NO owner's name or bookplate. Pages are age-toned but clean and unmarked. Doctoral dissertation for Dr. Phil. from Ludwig-Maximilians-Universität in München. Text in German. Contains passages from the Frege Nachlass. This dissertation is discussed by Christian Thiel in his 1965 study SINNUND BEDEUTUNG IN DER LOGIK GOTTLOB FREGES. Printed errata slip has a few additional corrections handwritten in ink. 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 1. Auflage. Softcover. Very Good condition. 93pp. Great Packaging Fast Shipping. M. Weiss Paperback
