1 778 résultats
1976réf. 009073Warsaw / 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
1949réf. 009097Warszawa 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
1935réf. 009110Iasi 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
1966réf. 009127Stuttgart: 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
1971réf. 014875New 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
1936réf. 006436New 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
1954réf. 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
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.
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
1957réf. 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
2005réf. x-1568812477A K Peters Ltd 2005. Hardcover. New. illustrated edition. 496 pages. 9.00x6.25x1.25 inches. A K Peters Ltd hardcover
1983réf. 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
1988réf. 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
1605réf. 64759Marburg, Rudolph Hutwelcker, 1605. 4°. Mit Holzschn.-Titelbordüre. 14 nn. Bll., Geheftet (ausgebunden; ohne Einband).
réf. 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.
1757réf. 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.
1772réf. 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.
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
1979réf. 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
1655réf. 52386Köln, Konstantin Münich, 1655. 12°. Mit illustr. Kupfertitel. 9 Bll., 338 S., 1 Bl., Pgmt. d. Zt. m. dreiseitigem Rotschnitt.
1973réf. 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
2010réf. 1-3838332350LAP Lambert Academic Publishing 2010. Paperback. New. 156 pages. 8.66x5.91x0.36 inches. LAP Lambert Academic Publishing paperback
1948réf. 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)
1963réf. 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