from About Books

Cambridge & New York: Cambridge University Press, 2005. Appears unread. Near Fine condition (only light cover wear). As New internally. NOT a library discard. NO owner's name or bookplate. Pages are fresh, crisp, clean and unmarked - apparently never read. Selected bibliography. Index. Bound in the original blue cloth, stamped in shiny… Read more

Washington, D. C.: ACF Electronics, 1956. Near Fine condition. SEE PHOTOS. Scientific Report No. AFCRC-TN-56-387. "The research reported in this report has been sponsored by the Air Force Cambridge Research Center, Air Research and Development Center." Bound in the original spiral bound, black immitation leather binder, stiff but flexible with "ACF Electronics" in gold on the cover.… Read more

Washington, D. C.: ACF Electronics, 1956. Near Fine condition. Scientific Report No. AFCRC-TN-56-176. "The research reported in this report has been sponsored by the Air Force Cambridge Research Center, Air Research and Development Center." Bound in the original spiral bound, black immitation leather binder, stiff but flexible with "ACF Electronics" in gold on the cover. This… Read more

Bruxelles [Belgium]: Privately Published?, 1936. Good condition. Chip to corner of front cover. Author's business card laid in, with "Hommage de l'auteur" handwritten in ink. 102 pages mimeographed (?) on rectos only (blank versos). Bound in stiff card wraps with a beige cloth spine. The author's name is hand inked on the spine. Feys was… Read more

Washington, D. C.: ACF Electronics, 1955. Very Good condition. White plastic spiral binding in stiff blue card covers, with the title above and "ACF Electronics" printed on the cover. On the title page, Alonzo Church has written in red: "Appendic C briefly treats my 'resticted recursive arithmetic' and its applications to circuits. [initialled] A. C." Church is… Read more

Washington, D. C.: ACF Electronics, 1955. Very Good condition. Bound in a black plastic binder with "ACF Electronics" in gold on the cover. Alonzo Church is listed as "Consultant to the Department." Church has made a handful of pencil corrections to typographical errors in the text. The Table of Contents identifies an Outline of Proposed Work:… Read more

Alexandria, Virginia: ACF Industries for Air Force Cambridge Reseach Center, 1956. Very Good condition. SEE PHOTOS. Scientific Report No. AFCRC-TN-56-770, ASTIA Document No. AD 98813. Sponsored by the Air Force Cambridge Reseach Center, Air Reseach and Development Command. White plastic spiral binding in stiff blue card covers, with the title above and "Avion Division, ACF Industries"… Read more

Washington, D. C.: ACF Electronics, 1954. Very Good condition. SEE PHOTOS. White plastic spiral binding in stiff blue card covers, with the title above and "ACF Electronics" printed on the cover. From the Foreword; "This brochure describes a machine which will preform operations on logic, and outlines the mathematical basis for such a machine as well as some… Read more

Washington, D. C.: ACF Electronics, 1955. Very Good condition. SEE PHOTOS. White plastic spiral binding in stiff blue card covers, with the title above and "ACF Electronics" printed on the cover. Five sections: 1) The Logic Machine and Its Applications; 2) Digitalization of the Monadic Predicate Calculus; 3) Logic and Intelligence Analysis; 4) Logical Analysis of Computer Circuits; 5)… Read more

Alexandria, Virginia: ACF Industries for Air Force Cambridge Reseach Center, 1956. Very Good condition. Scientific Report No. AFCRC-TR-56-166 ASTIA Document No. AD 110103. Sponsored by the Air Force Cambridge Reseach Center, Air Reseach and Development Command. White plastic spiral binding in stiff blue card covers, with the title above and "Avion Division, ACF Industries" printed on the… Read more

Paris: Instytut Literacki, 1953. Very Good condition. May - Mai 1953. Dwa znakomite dziela by José Ferrater Mora occupies pages 18-32. Tipped in is the original mailing label addressed to Professor Alonzo Church, Princeton University, Department of Mathematics. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase… Read more

Princeton, 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.… Read more

Leipzig, Germany: S. Hirzel, 1938. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 3. An axiomatization of general mechanics., Research on logic and the foundations of the exact sciences, Issue 3, Leipzig, 1938. This was reviewed by Barkley Rosser in Church's Journal of Symbolic Logic, Volume 3, Issue 3 (1938),… Read more

Leipzig, Germany: S. Hirzel, 1937. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 1. Reprinted from Deutsche Mathematik, vol. 1, 1936, pp. 733-777. This was reviewed by C. H. Langford in Alonzo Church's Journal of Symbolic Logic, Volume 2, Issue 2, June 1937, p. 94 This volume… Read more

Lisboa[ [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… Read more

Leipzig, Germany: S. Hirzel, 1937. Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 2. This was reviewed by Olaf Helmer in Church's Journal of Symbolic Logic, Volume 3, Issue 1 (1938), 41-42. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase… Read more

Moscow, USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova, 44, 1955. Text in Russian. Because this marketplace does not accommodate Cyrillic charcters, all Russian language words from this book have been here transliterated into Latin script. Good condition. Spine is worn. Edges of the cover are sunned. Pages are clean and unmarked. From Encyclopedia: "In… Read more

Leipzig, Germany: S. Hirzel, 1938. Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 5. This was reviewed by W. V. Quine in Church's Journal of Symbolic Logic, Volume 4, Issue 2 (1939), 87-88. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to… Read more

Monterrey, N. L. Mexico: CIA. Editora Nacional Monumel, S. A., 1982. INSCRIBED/SIGNED by the AUTHOR directly on the front free endpaper: "Monterrey, N. L. Abril 16 de 1982, For Prof. Alonzo Church, gratefully (signed) Jose Antonio Hinojosa Berrones." Good+ condition. NOT a library discard. With errata sheeted taped to an early blank page. All other… Read more

Berlin: Druck: Ernst-Reuter-Gesellschaft, 1963. Inscribed to Professor ALONZO CHURCH and signed "Cordially M. Laserna." with his address in Bogota Columbia penned in ink at the bottom of the title page. PHOTOS UPON REQUEST. Very Good condition. Thesis/dissertation : German and English. From Wikipedia: "Mario Laserna Pinzón (August 21, 1923 – July 16, 2013) was a Colombian… Read more