88 résultats
1978006415Torino Italy: Societa Editrice Internazionale 1978. Near Fine condition. Bright shiny clean and tight. The spine is square and flat with NO creases. Pages are clean and unmarked. Bound in the original off-white wraps. 13 cm wide by 19 cm tall. 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. However penciled on the title page are the words "personal copy rec April 1979" in what we believe is Professor's Church's hand. 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. Near Fine condition. 368pp. Great Packaging Fast Shipping. Societa Editrice Internazionale Paperback
1985009106Bucuresti Romania: Universitatea din Bucuresti Facultatea de Matematica 1985. Very Good condition. 17 cm x 24 cm. Bound in white wrappers stamped in blue and black. NO owner's name or bookplate. Pages are clean and unmarked. This issue contains 11 papers -- 8 in English 3 in French. List of bibliographical references after each article. 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. Softcover. Very Good condition. 103pp. Great Packaging Fast Shipping. Universitatea din Bucuresti, Facultatea de Matematica Paperback
1998x-9810234325World Scientific Pub Co Inc 1998. Paperback. New. 356 pages. 12.28x8.96x0.78 inches. World Scientific Pub Co Inc paperback
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
1955009117Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and reasonably tight. Bound in the original paper wrappers a little sun-faded at the edges. NO owner's name or bookplate. Pages are clean and unmarked but for a tiny ink mark in the margin only of a few pages at the end. Collection de logique mathematique série A No. I. The first page has one small ink stamp: "HOMMAGE DE L'AUTEUR." 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. Deuxième édition revue et augmentée. Softcover. Very Good condition. xv 243pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts 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
1938006438Philadelphia: Westbrook Publishing Company 1938. INSCRIBED by the author on the front pastedown endpaper: "To Prof. A. Church / Dec 14 '38 / With the profound respects of the / author / signed Irwin Biser." Very Good condition. A clean square tight copy. Hinges are perfect. Mild bend/crease at the bottom of the front board. Spine a little sunned. Bound in the original maroon cloth lettered in bright gold on the front cover. This is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books including this one contain a presentation inscription to him. A few others are signed by him -- please check our inventory. 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. INSCRIBED / SIGNED by the AUTHOR. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. 155pp. Great Packaging Fast Shipping. Westbrook Publishing Company Hardcover
1967006416Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wraps with a black spine. The Dust Jacket is white printed in blue and black. No chips. No tears. Complete with printed errata-corrige sheet tipped-in. 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. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
1967009065Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. Sharp corners. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wrappers with a black paper spine. The lightly rubbed Dust Jacket is white printed in blue and black. 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. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
1963ZB644080Bruxelles Centre national de recherches de logique 1963. Volumes 6-24 partly bound minor library markings else text clean & bindings tight. - If you are reading this this item is actually physically in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties taxes or fees required by recipient's country. Photos available upon request. Bruxelles, Centre national de recherches de logique unknown
1970ZB394721International Logic Review 1970. volumes 1-17 1970-1986 an uninterrupted run of complete volumes partly bound library markings else textually clean & tight PRICE IS FOR THE LOT. - If you are reading this this item is actually physically in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties taxes or fees required by recipient's country. Photos available upon request. International Logic Review unknown
1963009072México: Universidad Nacional Autónoma de México 1963. With original mailing label addressed to Alonzo Church -- the greatest American logician of the 20th century. Very Good condition. 18 cm x 24 cm. Proceedings of the XIIIth International Congress of Philosophy. 3 volumes only of 7: a Comunicaciones sobre el tema I: EL PROBLEMA DEL HOMBRE / Le problème de l'homme / Problem of man Volumen II. b Comunicaciones sobre el tema II: LA CRÍTICA DE LA ÉPOCA / Critique de l'époque / The criticism of our time Volumen IV. c COMUNICACIONES INTRODUCTORIAS / Rapports pour les séances plénières / Papers to be discussed in plenary sessions. All three volumes are uniformly bound in the original cream-color wrappers. These volumes are 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 they do not have those signs of his ownership. But please check our inventory for several others that do. However laid-in one of the volumes is the original mailing label addressed to Alonzo Church at Princeton. 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. Oversize Softcover heavy. Very Good condition. 3 large volumes. Great Packaging Fast Shipping. Universidad Nacional Autónoma de México Paperback
1989006176Oxford / New York:: Clarendon Press / Oxford University Press 1989. A square tight copy. Stamped "WITHDRAWN" on the endpapers. Pages are clean and unmarked but for 1 paperclip mark. No underlining. No highlighting. No margin notes. Uncommon hardcover edition. Bound in the publisher's navy blue cloth lettered in bright gold. Contains a preface and 6 chapters: 1 The Origins of the Problem; 2 The Controversy about the Nature of Pascalian Probability; 3 The Foundations of Pluralism in the Analysis of Probability; 4 The Pascalian Gradation of Ampliative Induction; 5 The Baconian Gradation of Ampliative Induction; 6 Four Paradoxes about Induction. Index. . First Edition. Hard Cover. Very Good EX-LIBRARY copy./No Jacket. 8vo. x 217pp. Clarendon Press / Oxford University Press Hardcover
19912090502113706363Not Available 1991. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1996027940New York: Routledge 1996. NOT a library discard. Bright and shiny. NO owner's name or bookplate. NOT a remainder. Near Fine condition but for notes on the front free endpaper and missing the title/copyright leaf. All other pages are present and are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Bound in the original white red and black laminated boards illustrated with a geometric pattern on the front. From the rear cover: "This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: AN INTRODUCTION TO MODAL LOGIC and A COMPANION TO MODAL LOGIC. A NEW INTRODUCTION TO MODAL LOGIC is an entirely new work completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic without sacrificing the clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness and finite and infinite models and their philosophical applications especially in the area of modal predicate logic.". Hardcover. Near Fine condition/No dust jacket as issued. Illus. by NOT a library discard. 8vo. x 422pp. Great Packaging Fast Shipping. Routledge Hardcover
1947023624Lisboa Portugal: Publicacoes Europa-America 1947. Inscribed: "March 12th To Prof. Alonzo Church with the compliments of illegible signature NOT Curvelo." Good condition. Discrete Logical Multiplicities. This volume 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 this volume does not have those signs of his ownership. But please check our inventory for several others that do. One page does have brief margin notes that appear to be in his hand. 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. INSCRIBED to Prof. Alonzo Church. First Edition. Softcover. Good condition. Illus. by NOT a library discard. 159pp. Great Packaging Fast Shipping. Publicacoes Europa-America Paperback
1949023567Lisboa: Universidade de Lisboa 1949. Inscribed: "To Prof. Alonzo Church with admiration and friendship and thanks for his Review of my "Introduction a Logica" in the Journal of Symbolic Logic.SIGNED by the author Lisbon 1949." Good condition. Paper clip mark on the title page from attached index card written in the hand of Alonzo Church. Separata da Revista da Faculdade de Letras de Lisboa Tomo XIV - 2 Serie No 3. From Wikipedia: "For Edmundo Curvelo forty years of life and ten publications were enough to mark the history of Portuguese thought; in general through work in the field of logic in particular through the endeavor to logify psychology. According to him Psychology would only gain the status of Science to the extent that it was allowed to logify because for Professor Abrantes science is a logical construction. To logify any subject is to discover the stable structures that have the language that can represent that any subject faithfully. The work he built on logic is all the more remarkable as it is known that the area of logic was not in the history of Portuguese thought an area of great development. Not to underline that at the time it was the occupation of very few. In his research area he fought the current. Professor Manuel Curado 2001 pointedly points out in the History of Portuguese Philosophical Thought that Edmundo Curvelo was the best Portuguese logician of the twentieth century and beyond: For better and worse Curvelo is the logic of the twentieth century. Portugal. Curado 2001: 345. Whether before or after nothing more significant is in the history of Portuguese twentieth-century logic than the work of the Alentejo teacher." 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. INSCRIBED & SIGNED. 1949 edition. Softcover. Good condition. Illus. by NOT a library discard. 90pp. Universidade de Lisboa? 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
1962009111Bruxelles: Office International de Librairie 1962. SEE OUR PHOTOS. Very Good condition. 16 cm x 25 cm. A solid copy -- square and tight. Bound in the original tan-color paper wrappers mildly sunned at the edges. Stamped in red and black. NO owner's name or bookplate. Final page of text has a tiny corner stain. Otherwise pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 11. Introduction by S. Dockx and 10 papers -- 9 in French 1 in German by P. Bernays. Contributions by F. Gonseth L. Rosenfeld V. Tonini M.-A. Tonnelat J.-L. Destouches L. Brillouin O. Costa de Beauregard I. Prigogine and H. Freudenthal. Includes: Le conflit épistémologique entre Einstein et Bohr by L. Rosenfeld. 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. 128pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
1963009112Bruxelles: Office International de Librairie 1963. Very Good condition. 17 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers stamped in red and black. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 12. Introduction and 8 papers -- 7 in French 1 in German by Bernhard Rensch. Some discussion and summaries are in English. Contributions by Stanislas Dockx; Léon Brillouin; Valerio Tonini; Olivier Costa de Beauregard; Marius Jacob Sirks; Dominique Henri Salman; Hendrik Pieter Wolvekamp. Bibliographical references. 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. 179pp. Great Packaging Fast Shipping. Office International de Librairie 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
1964023679Princeton New Jersey: Princeton University Department of Mathematics 1964. Good condition. No owner's name or bookplate. Pages are clean crisp and unmarked. 8.75" wide by 11.25" tall. Pages are printed on rectos only blank versos housed in a blue paper portfolio with title visible under a clear plastic window. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal 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. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Paperback
1964007754Princeton New Jersey: Princeton University Department of Mathematics 1964. Very Good condition. A bright clean tight copy. No owner's name or bookplate. Pages are fresh crisp and unmarked. 8.75" wide by 11.25" tall. Bound in black cloth lettered in shiny gold on the front cover. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal 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. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Hardcover
