Logic Colloquium 2000 hardcover: Lecture Notes in Logic 19
61187424A.K. Peters Limited pp. 350 . Papeback. New. A.K. Peters, Limited unknown
Cold Books · États-Unis94,65 $US≈ 80,08 €
145 résultats
19662091202133001933Kawade Shobo Shinsha 1966. Soft Cover. Fine. Number of books: 1 Kawade Shobo Shinsha paperback
2090502113708149Not Available N.A. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1982023622Monterrey 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 pages are clean and unmarked. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Please check our inventory for several others that are signed by 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 Edición Limited 1000. Softcover. Good condition. Illus. by NOT a library discard. 71pp. Great Packaging Fast Shipping. CIA. Editora Nacional Monumel, S. A. Paperback
1986009114Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1986. Very Good condition. 16 cm x 24 cm. A solid copy. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 9 papers all in English including: IN DEFENSE OF TEMPORALLY RELATIVE DEONTIC LOGIC A REPLY TO PROFESSOR CASTANEDA by Job van Eck; and THE FORMAL STRUCTURE OF THE LIAR PARADOX by Geoffrey Hunt. 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. pp. 251-385. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
1953023626Paris: 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 at auction in New Jersey. This one isn't signed by him but please check our inventory for several that are. 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. Very Good condition. Illus. by NOT a library discard. 160pp. Great Packaging Fast Shipping. Instytut Literacki Paperback
1937023617Leipzig 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 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. Illus. by NOT a library discard. 58pp. Great Packaging Fast Shipping. S. Hirzel Paperback
61187424A.K. Peters Limited pp. 350 . Papeback. New. A.K. Peters, Limited unknown
2001x-3540417397Springer Verlag 2001. Paperback. New. 1st edition. 389 pages. 9.50x6.25x1.00 inches. Springer Verlag paperback
1998x-3540650741Springer Verlag 1998. Paperback. New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. Springer Verlag paperback
1539080021.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
438983North-Holland / Elsevier. Paperback. Good. THERE ARE NO TARIFFS OR CUSTOMS DUTIES ON BOOKS. Edited versions of selected papers from the second international conference on �Logic Informatics Law� held in Florence Italy in September 1985. Text entirely in English. Edited by Antonio A Martino and Fiorenza Socci Natali. Published by Elsevier Amsterdam 1986. Hardcover in blue cloth no dust jacket. Pages age-browned. Otherwise in very good condition. North-Holland / Elsevier 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
3540584196.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. 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
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
ria9798879177534_inpPaperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This is an official book summarizing the brilliant achievements of multimedia creator Logic RockStar who celebrated its 5th anniversary in 2024 since the start of music distribution. We list records that have entered the charts along paperback
2002__1575862832Stanford Univ Center for the Study 2002. Hardcover. New. illustrated edition. 255 pages. 9.10x6.10x0.60 inches. Stanford Univ Center for the Study hardcover
197713957Amsterdam Holland: North-Holland Publishing Co 1977. Paperback. Good-/None. Yellow softcover with black titling on spine and front cover lightly soiled and edgeworn with 1/4-in. closed tear at spine heel. Binding is stapled but covered with the yellow wrappers to make for a traditional-looking square spine. Front cover stamped with NY University library name address and date; no other indication of ex-library. Interior is unmarked. Small quarto. Ships from US. BOOK INFO: Vol. 1 No. 1 2 & 4; Vol. 2 No. 3; Vol. 3 Nos. 1 3 & 4; Vol. 4 No. 4; Vol. 11 No. 1; Contents include: An 'Admissible' Generalization of a Theorem on Countable E sigma Sets of Reals with Applications by M. Makkai; Models with Compactness Properties Relative to an Admissible Language by J. P. Ressayre; Countable Approximations and Lowenheim-Skolem Theorems by D. W. Kueker; Adding Dependent Choice by D. Pincus. Countable Sets of Reals; M. Makkai; J. P. Ressayre; Lowenheim-Skolem Theorems; D. W. Kueker; D. Pincus North-Holland Publishing Co paperback
196500006802Cambridge: Cambridge University Press 1965. First printing. Hardcover. Very Good/Very Good. 8vo. 6 v-ix 1 1-232 pp. Bound in green cloth with gold lettering title and author's last name in gilt blocked in maroon on the spine. Price of $7.50 on front flap of jacket. Slater 366. A presentable copy of Hacking's first book. A Very Good book with some underlining throughout the text with a name on the front pastedown and a few tiny spots of discoloration to the textblock in a Very Good dust jacket with traces of edge wear on the rear panel and two small spots of discoloration on the rear panel of the jacket. Cambridge University Press hardcover
0444864172.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1963009107México: Universidad Nacional Autónoma De México Centro De Estudios Filosoficos 1963. Near Fine condition. 14 cm x 22.5 cm. Bound in the original brown wrappers. NO owner's name or bookplate. Pages are clean and unmarked. This booklet contains four papers on Edmund Husserl principal founder of phenomenology and his notion of lebenswelt life world -- 1 in Spanish 2 in German and 1 in English. XIII Congreso Internacional De Filosofia México D.F 7-14 De Septiembre De 1963. Proceedings of the XIIIth International Congress of Philosophy. 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 Primera edición. Softcover. Near Fine condition. ii 95pp. Great Packaging Fast Shipping. Universidad Nacional Autónoma De México Centro De Estudios Filosoficos Paperback
1977009092Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1977. Very Good condition. 16.5 cm x 23.5 cm. Bound in the original green wrappers a little rubbed at the edges. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. Text in Polish except for a 2 page summary in French which has a brief margin note in pencil that appears to be in Professor Church's handwriting. Matematyka Fizyka Astronomia XXI. Tables. Graphs. 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 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. Very Good condition. 101pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback
1848900872.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
