Shaw, Lecturer in Logic PatrickBiblio.com
145 résultats
1240054688.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1120133882.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1973005865Buenos Aires: Siglo XXI 1973. Inscribed by the author: "To Professor Alonzo Church with admiration and gratitude signed Thomas M. Simpson Bs. As. 10/5/73." Good condition. 13.5 cm x 20 cm. Spine has several reading creases. Errata slip laid-in. Bound in the original white pictorial wrappers. 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 including this one contain a presentation inscription to him. 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. Primera edicion en espanol. Softcover. Good condition. xvii 476pp. Great Packaging Fast Shipping. Siglo XXI Paperback
0366019481.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1971014875New 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
B9798645358396Paperback / softback. New. paperback
41591195like new. unknown
19892090502113712066Not Available 1989. Soft Cover. Fine. The book is in fine condition. Not Available paperback
19732090502113705793Not Available 1973. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1978006413Darmstadt 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 sent a copy to him as a courtesy; and we believe this is almost certainly that copy. 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 Collected Edition. Hardcover. Near Fine condition/No Jacket. vi 372pp. Great Packaging Fast Shipping. Wissenschaftliche Buchgesellschaft Hardcover
1963005923Djursholm 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
1996__3110148293Walter De Gruyter Inc 1996. Hardcover. New. 413 pages. 9.00x6.25x1.00 inches. Walter De Gruyter Inc hardcover
19652091202133001747Chiku ma shobo 1965. Soft Cover. Fine. Number of books: 1 Chiku ma shobo paperback
1145542Basic Books Inc 1959. 1st American edition. Hard cover. Very good/Very good. Jacket is worn and tanned on top edge but text and images are clear and bright. Cover is in great condition. Binding is tight. Inside is clean and unmarked. Basic Books, Inc unknown
19662091202133001933Kawade Shobo Shinsha 1966. Soft Cover. Fine. Number of books: 1 Kawade Shobo Shinsha paperback
1959508<p><strong>Large Octavo. Publisher's cloth & dustwrapper. First edition first printing of one of the most significant works on the philosophy of science. The Logic of Scientific Discovery was originally published in Germany in 1934 and Popper rewrote and republished it in English in 1959 with the New York edition preceding this much rarer UK edition. A fine copy in an unclipped slightly worn and faded very good dust wrapper. Small inscription on the front pastedown of David Keyt 1930-2025 Professor Emeritus of Philosophy at Washington University Seattle. The book is mostly unopened and looks mostly unread. A very nice copy. Popper argues that science should adopt a methodology based on falsifiability because no number of experiments can ever prove a theory but a reproducible experiment or observation can refute one. According to Popper: "non-reproducible single occurrences are of no significance to science. Thus a few stray basic statements contradicting a theory will hardly induce us to reject it as falsified. We shall take it as falsified only if we discover a reproducible effect which refutes the theory". Popper argues that science should adopt a methodology based on "an asymmetry verifiability and falsifiability; an asymmetry which results from the logical form of universal statements. For these are never derivable from singular statements but can be contradicted by singular statements".</strong></p> Hutchinson hardcover
2090502113708149Not Available N.A. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1936006436New 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
1953006410Princeton New Jersey:: Princeton University Press 1953. SIGNED BY ALONZO CHURCH. Very Good condition with remnants of dust jacket laid-in. A clean square copy. Hinges are perfect. Mild corner bumps not affecting any text. Pages are clean. No foxing. No underlining. No highlighting. No margin notes. Translated by Derk Bodde with introduction notes bibliography and index. First printing with "First published 1953" so stated on the copyright page. Bound in the original black cloth lettered in shiny gold on the spine. This copy is from the library of Alonzo Church and bears his ink signature on the title page. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Quite a few contain his signature or a presentation inscription to 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. SIGNED BY ALONZO CHURCH. First Edition. Hardcover. Very Good condition./Remnants of DJ laid-in. 8vo. ix 396pp. Great Packaging Fast Shipping. Princeton University Press Hardcover
1950023566Mexico: Universidad Nacional Autonoma de México 1950. INSCRIBED to Prof. Alonzo Church and SIGNED by the author "con los respetos de Zubieta R." Very Good condition. This dissertation/tesis was reviewed by Robert Feys in Church's Journal of Symbolic Logic Volume 15 Issue 3 1950 200. From Matemáticos en Mexico: "El trabajo de Zubieta pronto cruzó la frontera. Por sugerencia de Quine éste fue presentado a Alonzo Church4 quien invitó a Robert Feys lógico de la universidad de Lovaina a presentar un comentario sobre el mismo en el Journal of Symbolic Logic a la sazón la revista de mayor prestigio en el área de lógica. En 1953 Zubieta fue a Princeton para ocupar el cargo de ayudante de investigador de Alonzo Church quien alguna vez diría de Zubieta que era el único lógico latino que escribía con rigor. Church lo cita en la introducción de su libro5 por sus observaciones y participación en el proyecto." 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. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. vi 35pp. Great Packaging Fast Shipping. Universidad Nacional Autonoma de México Paperback
