122 résultats
1976009073Warsaw / Cracow: Polish Scientific Publishers 1976. 2 volumes -- clean square and tight. Very Good condition. 17 cm x 24 cm. The spines are square and flat. NO underlining. NO highlighting. NO margin notes. These two issues contain 19 papers all in English including both parts of METAMATHEMATICS OF MODAL LOGIC by Robert I. Goldblatt. Part I pp. 41-78 is contained in No. 6. Part II pp. 21-52 in No. 7. Bibliographical references. These journals were sponsored by The Jagiellonian University of Cracow and The Silesian University of Katowice. Bound in the original cream-color wrappers. These are two 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. 2 vols: 119pp. & 110pp. Great Packaging Fast Shipping. Polish Scientific Publishers Paperback
1981009076Dordrecht Holland / Boston U.S.A.: D. Reidel Publishing 1981. Near Fine condition. 15 cm x by 23 cm. A very nice copy but for a little age-toning to the front wrapper. NO underlining. NO highlighting. NO margin notes. Metaphysics of Epistemology. Metaphilosophy. This is an offprint of MENTAL EVENTS by the influential American philosopher Wilfrid Stalker Sellars 1912-1989. It originally appeared in PHILOSOPHICAL STUDIES 39 1981 pp. 325-345. This offprint i.e. a reproduction of an article that was originally contained in a larger publication appears to have been produced by the original publisher D. Reidel and has a printed price of $2.10. 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. offprint. Softcover stapled wraps. Near Fine condition. pp. 325-345. Great Packaging Fast Shipping. D. Reidel Publishing Paperback
1963009072México: Universidad Nacional Autónoma de México 1963. With original mailing label addressed to Alonzo Church -- the greatest American logician of the 20th century. Very Good condition. 18 cm x 24 cm. Proceedings of the XIIIth International Congress of Philosophy. 3 volumes only of 7: a Comunicaciones sobre el tema I: EL PROBLEMA DEL HOMBRE / Le problème de l'homme / Problem of man Volumen II. b Comunicaciones sobre el tema II: LA CRÍTICA DE LA ÉPOCA / Critique de l'époque / The criticism of our time Volumen IV. c COMUNICACIONES INTRODUCTORIAS / Rapports pour les séances plénières / Papers to be discussed in plenary sessions. All three volumes are uniformly bound in the original cream-color wrappers. These volumes are 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 they do not have those signs of his ownership. But please check our inventory for several others that do. However laid-in one of the volumes is the original mailing label addressed to Alonzo Church at Princeton. 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. Oversize Softcover heavy. Very Good condition. 3 large volumes. Great Packaging Fast Shipping. Universidad Nacional Autónoma de México Paperback
1987MATH0274New York, London, Plenum Press (1987). 8°. XIV, 371 S. OPappbd. Ecken leicht bestoßen.
1967582598Reading, Mass. [u.a.]: Addison-Wesley. 1967. 344 Seiten. 24cm. Zustand: Gut min. gebräunt, Titelblatt wurde hier entfernt (Innen); Besitzerstempel; Einband (Außen) hat leichte Gebrauchsspuren; Archivex. mit Klebestreifenrest (Außen); Schutzumschlag fehlt, oder es gibt keinen; Hardcover oder Leinen
1963ZB644080Bruxelles Centre national de recherches de logique 1963. Volumes 6-24 partly bound minor library markings else text clean & bindings tight. - If you are reading this this item is actually physically in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties taxes or fees required by recipient's country. Photos available upon request. Bruxelles, Centre national de recherches de logique unknown
1949009098Warszawa Warsaw Poland: Panstwowe Zaklady Wydawnictw Szkolnych PZWS 1949. Very Good condition. 17 cm x 25 cm. Bound in the original wrappers browned and chipped at the corners. Internal condition is Very Good. NO owner's name or bookplate. Pages are bright white clean and unmarked. NO underlining. NO highlighting. NO margin notes. Polish philosophy Lvov-Warsaw School. Text in Polish. Errata slip tipped-in. Illustrated with figures. Tables. Bibliographical references. Indexes. 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. Keywords: Polish philosophy. Lvov-Warsaw School. 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. 273pp. Great Packaging Fast Shipping. Panstwowe Zaklady Wydawnictw Szkolnych [PZWS] Paperback
1929PHIL0686Wien, Leipzig, Braumüller 1929. VII, 127 S. OBrosch. Rü. rissig, hs. Namenszug auf Titel.
1959009067Neuchatel Suisse: Éditions du Griffon 1959. Very Good condition. 16 cm wide by 23.5 cm tall. A solid copy -- clean and tight. The spine is square and flat. One corner of front wrapper has a mild crease. NO underlining. NO highlighting. NO margin notes. Bibliothèque scientifique no. 34. Festschrift containing 18 papers in various languages by Hao Wang Haskell B. Curry E. W. Beth Wilhelm Ackermann Rudolf Carnap A. A. Fraenkel Kurt Gödel George Kreisel A. Robinson F. Gonseth R. L. Goodstein Hans Hermes et al. Each paper has 3 abstracts -- in English German and French. Bound in the original brown wrappers printed in black and red. 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. Between 1937 and 1954 Bernays wrote a series of articles published in the Journal of Symbolic Logic. Among Church's 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. 295pp. Great Packaging Fast Shipping. Éditions du Griffon Paperback
195191874Friburgi (= Freiburg): Herder 1951. X, 181 Seiten. Gr. 8° (22,5-25 cm). Orig.-Leinenband mit Goldprägung. [Hardcover / fest gebunden].
1942005921Techny Illinois: Typis Domus Missionum ad St. Mariam 1942. Very Good condition. Bright clean square and tight. Hinges are perfect. Text in Latin. Footnotes in English. Bibliography. Index. Bound in the original green cloth lettered in shiny gilt on the spine. This copy bears the ink signature of Alonzo Church on the front free endpaper. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction. Several the books including this one contain his signature or 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. SIGNED BY ALONZO CHURCH. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. xv 247pp. Great Packaging Fast Shipping. Typis Domus Missionum ad St. Mariam Hardcover
1999x-0262541041Mit Pr 1999. Paperback. New. 450 pages. 9.25x7.25x1.50 inches. Mit Pr paperback
1998x-3540650741Springer Verlag 1998. Paperback. New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. Springer Verlag paperback
1992SONG0262510642MIT Press 1992-10-27. paperback. Used: Good. 7.25x1.75x9.00. Buy with confidence. Excellent Customer Service & Return policy. MIT Press 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
1997x-3540629637Springer Verlag 1997. Hardcover. New. 394 pages. 9.75x6.75x1.00 inches. Springer Verlag hardcover
198361878Berlin ; New York: Springer (Universitext), 1983. Second Edition X, 207 S. (24,5 cm) Broschierte Ausgabe
1997x-0792345606Kluwer Academic Pub 1997. Hardcover. New. 232 pages. 10.00x6.75x0.75 inches. Kluwer Academic Pub hardcover
19662091202133001933Kawade Shobo Shinsha 1966. Soft Cover. Fine. Number of books: 1 Kawade Shobo Shinsha paperback
1955009117Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and reasonably tight. Bound in the original paper wrappers a little sun-faded at the edges. NO owner's name or bookplate. Pages are clean and unmarked but for a tiny ink mark in the margin only of a few pages at the end. Collection de logique mathematique série A No. I. The first page has one small ink stamp: "HOMMAGE DE L'AUTEUR." 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. Deuxième édition revue et augmentée. Softcover. Very Good condition. xv 243pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
1963009112Bruxelles: Office International de Librairie 1963. Very Good condition. 17 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers stamped in red and black. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 12. Introduction and 8 papers -- 7 in French 1 in German by Bernhard Rensch. Some discussion and summaries are in English. Contributions by Stanislas Dockx; Léon Brillouin; Valerio Tonini; Olivier Costa de Beauregard; Marius Jacob Sirks; Dominique Henri Salman; Hendrik Pieter Wolvekamp. 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 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. 179pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
1981PHIL2065Wien, Verlag d. österr. Akademie d. Wissenschaften 1981. 147 S., mit 9 Abb., OKart., fast wie neu. (= Österr. Akademie d. Wissenschaften, Sitzungsberichte, 391. Bd., Heft 38).
1985145060Amsterdam/Philadelphia: John Benjamins Publishing Company. 1985. 256 S. 23*15 cm. OPappband.
1967006416Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wraps with a black spine. The Dust Jacket is white printed in blue and black. No chips. No tears. Complete with printed errata-corrige sheet tipped-in. 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. First Edition. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
1967009065Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. Sharp corners. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wrappers with a black paper spine. The lightly rubbed Dust Jacket is white printed in blue and black. 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. First Edition. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
