Search Results: Logic from About Books

Louvain [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… Read More

Bucuresti, 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… Read More

New York: W. H. Freeman and Company, 2000. Clean, square, tight, unmarked copy. Sharp corners. Not a book club edition. Not price clipped (23.95). No chips or tears. No owner's name or bookplate. No remainder mark. Illustrated. Intelligent autobiographical memoir by this mathematician, historian of science, and associate professor at Brown. Includes insightful discussions of the debates among some of the finest mathematical minds from the 17th to the 19th century, including Newton, Leibnitz, and the Victorian mathematician Augustus De Morgan. From the Dust Jacket: "At the time her nine-year-old son was diagnosed with a brain tumor, Joan Richards was deeply involved in writing a book about the life and work of the nineteenth-century mathematician Augustus De Morgan. Immersed in this abstract, logical world of science, Richards was forced by her son's sudden illness to confront a different kind of reality - the irrational world of a serious family illness and its… Read More

Tokyo: Japan Association for Philosophy of Science , 1989. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 5 papers -- all in English. List of bibliographical references after each article. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics, the interpretation of quantum mechanics, logic of belief revision, the nature of natural laws, and naturalized epistemology. 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… Read More

Tokyo: Japan Association for Philosophy of Science , 1988. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 6 papers -- all in English. List of bibliographical notes and references after each article. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics, the interpretation of quantum mechanics, logic of belief revision, the nature of natural laws, and naturalized epistemology. 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… Read More

Tokyo: Japan Association for Philosophy of Science , 1987. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 4 papers -- all in English. Lists of bibliographical notes and references. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics, the interpretation of quantum mechanics, logic of belief revision, the nature of natural laws, and naturalized epistemology. 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… Read More

Tokyo: Japan Association for Philosophy of Science , 1985. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 5 papers -- 4 in English, 1 in German. List of bibliographical references after each article. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics, the interpretation of quantum mechanics, logic of belief revision, the nature of natural laws, and naturalized epistemology. 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… Read More

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 silver. From the publisher: "Following an approach that is empirical but not psychological, and dialectical but not dialogical, Maurice Finocchiaro defines concepts such as reasoning, argument, argument analysis, critical reasoning, methodological reflection, judgment, critical thinking, and informal logic. Including extended critiques of the views of many contemporary scholars, he also integrates into the discussion Arnauld's Port-Royal Logic, Gramsci's theory of intellectuals, and case studies from the history of science, particularly the work of Galileo, Newton, Huygens, and Lavoisier.". First Printing of the First Edition.… 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 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]. 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,… Read More

World Scientific Publishing, 2017. New. Flat, uncreased spine. Bright and shiny. Sharp corners. NOT a library discard. NO owner's name or bookplate. NOT a remainder. Pages are fresh, crisp, clean and unmarked. Bound in the original white and yellow pictorial wraps. From the rear cover: "This book is a sequel to my BEGINNER'S GUIDE TO MATHEMATICAL LOGIC. The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results. The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The… Read More

New York: Alfred A. Knopf, 1979. First Edition (so stated). Near Fine condition. Flat, uncreased spine. 5" wide by 8" tall. Bright, shiny, clean, tight, square, and unmarked. Appears unread. Not price clipped ($4.95). No owner's name or bookplate. Not a remainder. NOT a library discard. Illustrated with chess diagrams. Each of 50 chess problems is set within its own Holmes-Watson dialogue. The object is to use Sherlockian logic, not to discover the next move or a mating attack, but to calculate previous moves or positions using "retrograde analysis." Includes solutions at the end. The author is a Professor of Mathematical Logic and Philosophy at CUNY, who also wrote The Chess Mysteries of the Arabian Knights: 50 New Problems of Chess Detection.. First Edition (so stated). Trade Paperback. Near Fine condition. Illus. by NOT a library discard. xiii, 173pp. Great Packaging, Fast Shipping.

New York: Alfred A. Knopf, 1982. Near Fine condition. 5" wide by 8" tall. Previous owner's blindstamp. Otherwise bright, clean, tight, square, and unmarked. No creases. Appears unread. Still shiny. Not price clipped ($5.95). Not a remainder. No store stamp or bookplate. Illustrated with chess diagrams. Each of 50 chess problems is set within its own Holmes-Watson dialogue. The object is to use Sherlockian logic, not to discover the next move or a mating attack, but to calculate previous moves or positions using "retrograde analysis." Includes solutions at the end. The author is a Professor of Mathematical Logic and Philosophy at CUNY, who also wrote The Chess Mysteries of the Arabian Knights: 50 New Problems of Chess Detection.. Third printing. Trade Paperback. Near Fine condition. xiii, 171pp. Great Packaging, Fast Shipping.

Wroclaw, Poland: Institute of Mathematics, Wroclaw University, 1990. Very Good condition. 16.5 cm wide by 23.5 cm tall. A solid copy -- clean and tight. NO underlining. NO highlighting. NO margin notes. Among the 10 articles in this issue is COMPLEMENTS ON DECOUPLING INEQUALITIES FOR MULTILINEAR FUNCTIONS IN STABLE RANDOM VECTORS (pp. 1-17) by Balram S. Rajput and Jan Rosinski. 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… Read More

Centre de Traitement de l'Information Scientifique [CETIS], EURATOM C. C. R., Ispra, 1961. Good condition. 21 cm x 29.5 cm. Staple-bound green paper wrappers, mildly faded, with a few tiny chips at the edges. Mimeographed? typescript. NO owner's name or bookplate. Pages are age-toned (lightly browned), but clean and unmarked. Rapport CETIS No. 26, aout 1961. Preface by F. van Scheepen. This book contains 17 chapters -- 7 in English, 9 in French, 1 in German. Among them are: No. 1) Méthodes de déduction by E. W. Beth; 3) Remarques sur la théorie des pseudo-valuations by E. W. Beth; 5) On the length of proofs by Amitabha Ghose; 8) Construction sémantique de la logique inférentielle by E. W. Beth; 9) A discussion of Carton's Proposed Mechanical Proof Procedure for Geometry by Th. Bruyn; 10) Observations concerning computation, deduction and heuristics by E. W. Beth; 13) Le système S4 et la topologie by E. W. Beth; 17) Recherches sur les… Read More

Madrid: Revista de Occidente, 1947. Very Good condition. 16.5 cm x 22.5 cm. Bound in the original off-white paper wrappers, stamped in red and black. NO owner's name or bookplate. Pages are clean and crisp. NO underlining. NO highlighting. NO margin notes. Text in Spanish. 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… Read More

Darmstadt, Germany: Wissenschaftliche Buchgesellschaft, 1978. Near Fine condition. Clean, square, and tight. Pages are fresh and crisp. No underlining. No highlighting. No margin notes. Among this collection's 21 essays are 5 by Willard van Orman Quine, and 3 by Alonzo Church, i.e. Propositionen und Satze (1956); Ontologische Voraussetzungen (1958); and Intensionale Semantik (1951). Bound in the original gray cloth, lettered in red, and in gold over a red spine panel. 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]. Still, the book contains 3 of his essays -- translated into German and printed here with his permission (as stated in the acknowledgments). So, it seems likely that the publisher… Read More

Warszawa [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… Read More

New York: Dell, 1984. Near Fine condition. The spine is square and flat with NO creases. Bright, shiny, clean and tight. NO owner's name or bookplate. NO remainder mark. Pages are clean and crisp. NO underlining. NO highlighting. NO margin notes. Soft Cover. 7" wide by 10" tall. From the front cover: "75 New Brainteasers by the World's Top Puzzle Creators... Easy -- Medium -- Hard -- Challenger." From the foreword: "These logic problems have never been published before -- they're all new." Answers are printed in the back. Bound in the original blue wrappers, lettered in bright yellow and orange.. Later printing. Trade Paperback. Near Fine condition. 173pp.

Paris / Louvain: Gauthier-Villards / Nauwelaerts, 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and tight. Bound in the original paper wrappers, a little sun-faded at the spine. NO owner's name or bookplate. Pages are bright white, clean, and unmarked. Collection de logique mathematique, série A, No. VII. Contents: Part I. Logique combinatoire et alpha conversion: 1) La construction des fonctions combinatoires; 2) Des systèmes d'axiomes pour la logique combinatoire; 3) L'equivalence de la logique combinatoire à la alpha-conversion; 4) La connexion entre alpha-conversion et fonctions récursives; 5) Le paradoxe de Curry. Part II. Les modèles des logiques formelles: 1) La notion de modèle; 2) Le thèorème de Löwenheim-Skolem; 3) La logique Lc; 4) Les modeles dans une logique formelle; 5) Quelques démonstrations d'indépendance. Bibliographie. Index des auteurs. Table des symboles.… Read More

New 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… Read More