SANDEMOSE, AKSEL.MareMagnum
1993, Symposium On the History Of Logic,Biblio.com
Studies On the History Of Logic
35771910like new. unknown
GreatBookPrices · États-Unis155,54 $US≈ 131,60 €
1 936 résultats
(Oslo), 1951-55. Alle 10 hefter ubeskårede med orig. bogtrykte illustrerede omslag. Rene, friske hefter.
35771910like new. unknown
Brossura, 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.
126 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
1936006367Princeton 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
1961009128Mü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
1951009131Hamburg Germany: Universität Hamburg 1951. Good condition. 21 cm x 30 cm. Bound in plain unprinted blue stiff card covers with a black spine. Edges of the cover are mildly faded with closed tears and a few tiny chips. Internal condition is FINE. NO owner's name or bookplate. Pages have text on one-side rectos only. This is probably a typescript carbon copy. Handwritten symbols and diagrams have been added to the text as well as a few ink corrections apparently by the author. Pages are otherwise clean and crisp. Gottlob Freges. Bertrand Russell. Subtitle: "Dissertation zur Erlangung des Doktorgrades der Philosophischen Fakultät der Universität Hamburg." Bierich's faculty advisors for this doctoral thesis were Prof. Dr. J. König and Prof. Dr. W. Flitner. On the front cover is a brief note: "Personal from author." 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. Stiff card covers Softcover. Good condition. vi 95pp. Great Packaging Fast Shipping. Universität Hamburg Paperback
1949009098Warszawa Warsaw Poland: Panstwowe Zaklady Wydawnictw Szkolnych PZWS 1949. Very Good condition. 17 cm x 25 cm. Bound in the original wrappers browned and chipped at the corners. Internal condition is Very Good. NO owner's name or bookplate. Pages are bright white clean and unmarked. NO underlining. NO highlighting. NO margin notes. Polish philosophy Lvov-Warsaw School. Text in Polish. Errata slip tipped-in. Illustrated with figures. Tables. Bibliographical references. Indexes. 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. Keywords: Polish philosophy. Lvov-Warsaw School. 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. 273pp. Great Packaging Fast Shipping. Panstwowe Zaklady Wydawnictw Szkolnych [PZWS] Paperback
1942007675New York: The Macmillan Company 1942. Very Good condition. A solid copy. Square and reasonably tight. Hinges are sound. Text pages are clean and crisp. No underlining. No highlighting. No margin notes. Illustrated with figures/diagrams/maps. Tables. Graphs. Bibliography. Index. Bound in the original brick red cloth lettered in shiny gold over black on the spine and front cover. This is one of 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 this copy does not have those signs of his ownership. Please check our inventory for several others that do. But this is almost certainly the very copy that Church used for his review of the book that appeared in the JOURNAL OF SYMBOLIC LOGIC vol. 7 issue 3 1942. 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/No Jacket. 8vo. ix 944pp. Great Packaging Fast Shipping. The Macmillan Company Hardcover
1940006437New York: Henry Holt and Company 1940. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Review Copy with publisher's printed ad on the front pastedown endpaper saying the book is "a new and impressively different introductory text." and listing $3.40 as the price. Bound in the original bluish-green cloth lettered in gold on the spine. This is one of 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 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. Very Good condition/No Jacket. 8vo. xii 428pp. Great Packaging Fast Shipping. Henry Holt and Company Hardcover
1968009075Caracas: Universidad Central de Venezuela Instituto de Filosofía Facultad de Humanidades y Educación 1968. Very Good condition. A solid copy. Light cover soil. NO underlining. NO highlighting. NO margin notes. 16 cm x by 23 cm. Universidad Central de Venezuela Instituto de Filosofía Facultad de Humanidades y Educación. Biblioteca filosofíca del anuario "Episteme." 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 Thus Primera edición. Softcover. Very Good condition. 252pp. Great Packaging Fast Shipping. Universidad Central de Venezuela, Instituto de Filosofía, Facultad de Humanidades y Educación Paperback
1976009073Warsaw / Cracow: Polish Scientific Publishers 1976. 2 volumes -- clean square and tight. Very Good condition. 17 cm x 24 cm. The spines are square and flat. NO underlining. NO highlighting. NO margin notes. These two issues contain 19 papers all in English including both parts of METAMATHEMATICS OF MODAL LOGIC by Robert I. Goldblatt. Part I pp. 41-78 is contained in No. 6. Part II pp. 21-52 in No. 7. Bibliographical references. These journals were sponsored by The Jagiellonian University of Cracow and The Silesian University of Katowice. Bound in the original cream-color wrappers. These are two 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. 2 vols: 119pp. & 110pp. Great Packaging Fast Shipping. Polish Scientific Publishers Paperback
1949009097Warszawa Warsaw Poland: Nakladem Polskiego Towarzystwa Teologicznego w Warszawie 1949. Good condition. 18 cm x 25 cm. Bound in the original wrappers browned and moderately chipped at the spine and edges. Bookseller's small ink stamp in 2 places -- on the front cover and title page. NO owner's name or bookplate. Pages are age-toned but clean. NO underlining. NO highlighting. NO margin notes. Deductive reasoning natural and Logistics Natural and logistic deduction. Text in Polish. Footnotes. Errata. 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. Good condition. xvi 164pp. Great Packaging Fast Shipping. Nakladem Polskiego Towarzystwa Teologicznego w Warszawie Paperback
1935009110Iasi Romania: University of Iasi 1935. Good condition. 16.5 cm x 24 cm. A solid copy -- square and reasonably tight. This book does NOT have a separate outer cover. The text pages 1-128 however is complete. There is a small piece of tape on the spine. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Algebraic Logic. Text in French. Subtitle: Hommage a M. V. Volterra pour son 75e anniversaire. Bibliographical references. This is quite possibly the very copy used by Garrett Birkhoff for his review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 1 Issue 2 1936 63. 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. Good condition. 128pp. Great Packaging Fast Shipping. [University of Iasi?] Paperback
1966009127Stuttgart: Karl Mayer 1966. Very Good condition. 14.5 cm x 21 cm. A solid copy -- square and tight. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. Ph.D. thesis in German on semantic theory of the programming languages. Full title: "Semantische Theorie der Programmsprachen Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften der Mathematisch-naturwissenschaftlichen Fakultät der Eberhard-Karls-Universität zu Tübingen." Schwenkel's faculty advisors for this dissertation were Karl Zeller and Hellmuth Kneser. Schwenkel went on to become a professor at the University of Hamburg where among other things he was involved in programming/design of chess computers. When Schwenkel published his REKURSIVE WORTFUNKTIONEN UBER UNENDLICHEN ALPHABETEN it was Alonzo Church who reviewed it in his JOURNAL OF SYMBOLIC LOGIC Volume 40 Issue 4 1975 621-622. 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. viii 113pp. Great Packaging Fast Shipping. Karl Mayer Paperback
1971014875New York: Van Nostrand Reinhold Company 1971. This is a DEDICATION COPY -- INSCRIBED to David Rubinstein to whom the book is dedicated and SIGNED by the AUTHOR on the dedication page. The printed dedication in the book is to David Rubinstein as well as two more of the author's mentors; i.e. Carl A. Eisdorfer and John H. Wilms. Below the printed dedication the author has written: "To David Rubinstein -- More evidence to disconfirm the myth -- Gratefully Paul." Very Good condition. Square and tight. Sharp corners. NO underlining. NO highlighting. NO margin notes. First printing with complete number row 87654321 on the copyright page. Bound in the original black cloth lettered in gold on the spine and front cover. From the preface: "This book is addressed to philosophers and students of philosophy who want to use formal logic as a tool of their trade. It presupposes only the familiarity with truth-functions and quantifiers that is gained in a one-semester introduction to symbolic logic. It is designed to present in as clear and straightforward a way as possible a set of techniques for manipulating formal systems of modal logic and the related interpretative devices and for developing further systems of modal logic to meet specific contextual needs.". INSCRIBED & SIGNED by the AUTHOR. First Printing of the First Edition. Hardcover. Very Good condition/No jacket as issued. 8vo. xiv 335pp. Van Nostrand Reinhold Company Hardcover
1936006436New York: Harcourt Brace and Company 1936. Very Good condition. A clean tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Publisher's "Review Copy" ink stamp on front endpaper which indicates the book was to be published Feb 11 1937 at $3.75. From the INTERNATIONAL LIBRARY OF PSYCHOLOGY PHILOSOPHY AND SCIENTIFIC METHOD series. Bound in the original dark green cloth lettered in gold on the spine. This is one of 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 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. From Introduction: "In the course of this study I shall expound and criticize the theories and methods of Logical Positivism in an order of presentation which seems best suited to represent them with utmost fairness. I shall present the logical foundation of Positivism first. Then the applications of the method of analysis to mathematics and natural science will follow. Next I shall treat of the elimination of metaphysics and the consequence of this. All of this will be preparatory to the consideration of a specific case of positivistic analysis which presents a theory of knowledge free from metaphysics. This is the LOGISCHER AUFBAU DER WELT of Rudolf Carnap. Then I shall present the doctrine of Physicalism as a separate philosophical system. The study will be concluded by a theory of language which seems to me to overcome the difficulties of both Logical Positivism and Radical Physicalism." . First Edition. Hardcover. Very Good condition/No dust jacket. 8vo. vii 311pp. Great Packaging Fast Shipping. Harcourt, Brace and Company Hardcover
1954008335Groningen / 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
20101-3838332350LAP Lambert Academic Publishing 2010. Paperback. New. 156 pages. 8.66x5.91x0.36 inches. LAP Lambert Academic Publishing paperback
160564759Marburg, Rudolph Hutwelcker, 1605. 4°. Mit Holzschn.-Titelbordüre. 14 nn. Bll., Geheftet (ausgebunden; ohne Einband).
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.
175775001757 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.
1833100147337Louis 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
1772PHO-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.
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
