from About Books

New Arrivals

No cover image available

Arguments about Arguments: Systematic, Critical, and Historical Essays in Logical Theory

by Finocchiaro, Maurice A

Seller
About Books
Published
2005
Condition
Near Fine condition
Edition
First Printing of the First Edition
ISBN
9780521853279
Item Price
£22.28

Show Details

Description:
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
Add to Wishlist
Item Price
£22.28
cover of Decision Procedures for the Functional Calculus

Decision Procedures for the Functional Calculus

by ACF Electronics, Data Processing Department; Alonzo Church (his copy)

Seller
About Books
Published
1956
Condition
Near Fine condition
Edition
First Edition
Item Price
£210.11

Show Details

Description:
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
Add to Wishlist
Item Price
£210.11
No cover image available

Digitalization of the Propositional Calculus and the Monadic Functional Calculus

by ACF Electronics, Data Processing Department; Alonzo Church (his copy)

Seller
About Books
Published
1956
Condition
Near Fine condition
Edition
First Edition
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
No cover image available

Notions de logistique

by Feys, L'Abbe Robert; Alonzo Church (from the library of)

Seller
About Books
Published
1936
Condition
Good condition
Edition
1st ed? (No additional printings listed)
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
No cover image available

Technical Proposal for Studies in the Analysis, Synthesis, and Simplification of Computer Circuits

by ACF Electronics, Data Processing Department; Alonzo Church (his copy)

Seller
About Books
Published
1955
Condition
Very Good condition
Edition
First Edition
Item Price
£247.98

Show Details

Description:
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
Add to Wishlist
Item Price
£247.98
No cover image available

Technical Proposal to Air Force Cambridge Research Center for Theoretical Studies in Mechanical Logic

by ACF Electronics, Data Processing Department; Alonzo Church (his copy)

Seller
About Books
Published
1955
Condition
Very Good condition
Edition
First Edition
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
cover of Translating from Ordinary Discourse into Formal Logic, A Preliminary Systems Study

Translating from Ordinary Discourse into Formal Logic, A Preliminary Systems Study

by Avion Division, ACF Industries, Reseach Department; Alonzo Church (his copy)

Seller
About Books
Published
1956
Condition
Very Good condition
Edition
First Edition
Item Price
£332.04

Show Details

Description:
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
Add to Wishlist
Item Price
£332.04
cover of The Logic Machine and Its Applications

The Logic Machine and Its Applications

by ACF Electronics, Data Processing Department; Alonzo Church (his copy)

Seller
About Books
Published
1954
Condition
Very Good condition
Edition
First Edition
Item Price
£247.98

Show Details

Description:
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
Add to Wishlist
Item Price
£247.98
cover of Digitalized Logic and Its Applications

Digitalized Logic and Its Applications

by ACF Electronics, Data Processing Department; Alonzo Church (his copy)

Seller
About Books
Published
1955
Condition
Very Good condition
Edition
First Edition
Item Price
£247.98

Show Details

Description:
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
Add to Wishlist
Item Price
£247.98
cover of Investigations of Formal Systems of Reasoning Leading to Machine Processing

Investigations of Formal Systems of Reasoning Leading to Machine Processing

by Avion Division, ACF Industries, Reseach Department; Alonzo Church (his copy)

Seller
About Books
Published
1956
Condition
Very Good condition
Edition
First Edition
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
No cover image available

Dwa znakomite dziela (in) Kultura Nr 5/67

by Mora, José Ferrater; from Alonzo Church's library

Seller
About Books
Published
1953
Condition
Very Good condition
Edition
First Edition
Item Price
£79.86

Show Details

Description:
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
Add to Wishlist
Item Price
£79.86
No cover image available

Powers of Regular Cardinals

by Easton, William B. [from the library of Alonzo Church]

Seller
About Books
Published
1964
Condition
Good condition
Edition
First Edition
Item Price
£294.21

Show Details

Description:
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
Add to Wishlist
Item Price
£294.21
No cover image available

Eine Axiomatisierung der Allgemeinen Mechanik

by Hermes, Hans; from Alonzo Church's library

Seller
About Books
Published
1938
Condition
Very Good condition
Edition
First Edition
Item Price
£247.98

Show Details

Description:
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
Add to Wishlist
Item Price
£247.98
No cover image available

Ein Neuer Vollständigkeitsbeweis für das Reduzierte Fregesche Axiomensystem des Aussagenkalküls

by Hermes, Hans; & Heinrich Scholz; from Alonzo Church's library

Seller
About Books
Published
1937
Condition
Very Good condition
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
No cover image available

Multiplicidades Lógicas Discretas

by Curvelo, Edmundo; from Alonzo Church's library

Seller
About Books
Published
1947
Condition
Good condition
Edition
First Edition
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
No cover image available

Axiomatische Untersuchungen zur Projektiven, Affinen und Metrischen Geometrie

by Roth, Eugen; from Alonzo Church's library

Seller
About Books
Published
1937
Condition
Good condition
Edition
First Edition
Item Price
£79.86

Show Details

Description:
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
Add to Wishlist
Item Price
£79.86
No cover image available

Ob algoritmicheskoi nerazreshimosti problemy tozhdestva slov v teorii grupp [leading to the Lenin Prize, 1957]

by NOVIKOV, PETR SERGEEVICH; from Alonzo Church's library

Seller
About Books
Published
1955
Condition
Good condition
Edition
First Complete Edition
Item Price
£332.04

Show Details

Description:
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
Add to Wishlist
Item Price
£332.04
No cover image available

Semiotik, Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von Formalisierten Sprachen

by Hermes, Hans; from Alonzo Church's library

Seller
About Books
Published
1938
Condition
Good condition
Edition
First Edition
Item Price
£163.92

Show Details

Description:
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
Add to Wishlist
Item Price
£163.92
No cover image available

Humanismo de las Ciencias, Volumen II

by Hinojosa Berrones, Jose Antonio (signed); from Alonzo Church's library

Seller
About Books
Published
1982
Condition
Good+ condition
Edition
Primera Edición, Limited 1000
Item Price
£81.96

Show Details

Description:
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
Add to Wishlist
Item Price
£81.96
No cover image available

Klassenlogik und formale einteilung der wissenschaft

by Mario Laserna [Pinzón]; inscribed to Professor ALONZO CHURCH

Seller
About Books
Published
1963
Condition
Very Good condition
Edition
First Edition
Item Price
£332.04

Show Details

Description:
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
Add to Wishlist
Item Price
£332.04