Wang HaoLivre Rare Book
416 résultats
1997100137762MIT Press 1997 391 pages 15 494x3 048x23 114cm. 1997. Cartonné jaquette. 391 pages.
1993100137813OXFORD UNIV PR 1993 226 pages 13 97x1 73x21 59cm. 1993. Cartonné jaquette. 226 pages.
1913F80488Paris, Felix Alcan 1913 192pp., 23cm., br.orig., non coupé, bel état, rare, F80488
1960100137863Gauthier-Villars 1960 432 pages in8. 1960. Relié. 432 pages.
1981100137764Hackett Publishing Co Inc 1981 536 pages 15 24x2 79x22 61cm. 1981. Broché. 536 pages.
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
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
1998100137765A K Peters/CRC Press 1998 264 pages 15 24x1 78x22 61cm. 1998. Broché. 264 pages.
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
1980X116780Erevan [Yerevan], 1980 211 + [1] pp., 21cm., text in Armenian (with a second title page in Russian in Cyrillic script, and with an extensive summary in English: "The study of David the Invincible on Logic" (pp.195-208)), publisher's hardcover in grey cloth with gilt lettering, dustwrapper, text is clean and bright, cfr. OCLC 749597938, good condition, X116780
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
1998x-3540650741Springer Verlag 1998. Paperback. New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. Springer Verlag paperback
1965RO30331283Presses universitaires de France. 1965. In-8. Broché. Etat passable, Couv. légèrement passée, Dos plié, Intérieur acceptable. 429 pages. Légèrement désolidarisé. Notes au crayon en page de faux titre. Coins frottés.. . . . Classification Dewey : 160-Logique
1972R100067534Armand Colin. 1972. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 228 pages.. . . . Classification Dewey : 160-Logique
1969PHIL0004aWien, Herder 1969. Gr.-8°. 656; 688; 694; 608 S., OKartbde., aussen geringe Lagerspuren, innen tadellos. I.: Geist, Welt und Geschichte / Freiheit: Verantwortung und Entscheidung / Sprache: Semantik und Hermeneutik / Philosophie und Ideologie / Philosophie und Naturwissenschaft. // II.: Marx un die Philosopie der Gegenwart / Brentano, die philosophische Psychologie... / Wittgenstein, der "Wiener Kreis" und die analytische Philosophie / Die Deontische Logik... / Die Bedeutung der Synthese im Integrativen... / Kybernetik ... / Die Zeit / Die Natur des Menschen und das Problem des Friedens. // III: Logik / Erkenntnis- und Wissenschaftstheorie / Sprachphilosophie / Ontologie und Metaphysik. // IV.: Ethik und Wertphilosophie, Ästetik und Kunstphilosophie, Naturphilosophie, Kulturphilosophie, Geschichtsphilosophie.
1977100133419Oxford Univ Pr 1977 380 pages in8. 1977. Cartonné jaquette. 380 pages.
1998UUI-11680In-8 broché, Springer Science, 1998, 400 pp. Légèrement écorné, bon état général, bon exemplaire. Peu courant. Poids 720 g. Envoi lettre verte. Frais d'envoi 8,64 euros sur la France, 21 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
1958114843Gauthier-Villars Nauwelaert 1958 Paris, Gauthier-Villars / Louvain, E. Nauwelaerts, Collection de Logique Mathématique, Série A, 1958, 57 p., broché, environ 25x16cm, avec un envoi de l'auteur. Couverture insolée, nom de l'auteur manuscrit sur le dos, bas du dos émoussé, dos en partie décollé, des annotations sur les pages.
1977100137860University of Massachusetts Press 1977 176 pages 3x23x15cm. 1977. Cartonné jaquette. 176 pages.
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
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
19912090502113706363Not Available 1991. Soft Cover. Fine. The book is in fine condition. Not Available paperback
19912092902137800441Otsukishoten 1991. Soft Cover. Fine. Size: chrysanthemum format Number of books: 1 Otsukishoten paperback
