417 résultats
1962F117052Assen, Van Gorcum 1962-1967 Complet in 3 volumes, 674 + 615 + 910pp., 25cm., publisher's hardcover bindings in red cloth, stamp on blanco endpaper and on last page of first vol., text is clean and bright, good condition, weight: 4.2 kg., [Content: Vol.I: On the twelfth century theories of fallacy, VoLII (in 2 physical volumes): The origin and early development of the theory of supposition], F117052
2000R260255042Robert Laffont. Juillet 2000. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 321 pages augmentées de quelques schémas et dessins en noir et blanc dans texte.. . . . Classification Dewey : 160-Logique
1988R100062579Les éditions de minuit. 1988. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 210 pages - étiquette collée sur le 2eme plat.. . . . Classification Dewey : 160-Logique
1999R100072522Belin / Pour la science. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 158 pages - nombreuses illustrations en couleurs dans le texte - texte sur deux colonnes - livre augmenté de quelques articles de magazine sur la logique et le calcul - étiquette collée sur les plats et sur la coiffe en pied.. . . . Classification Dewey : 160-Logique
1988R100073219Presses polytechniques romandes.. 1988. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur frais. 200 pages - photocopie - ouvrage relié avec une ficelle - plats muets.. . . . Classification Dewey : 160-Logique
1997100137769Harvard University Press 1997 476 pages 17 018x2 794x24 13cm. 1997. Broché. 476 pages.
19448241Paris, Editions J. Olivien, 1944 ; in-8, broché, couverture orange semi-cartonnée imprimée rouge et noir ; 260 pp.
1947RO40257992PUF. 1947. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 159 pages.. . . . Classification Dewey : 160-Logique
1967114829Reidel 1967 D. Reidel Publishing Company, 1967, VIII-137 pp, cartonnage éditeur sous jaquette, environ 23x16cm. Rares petites déchirures sans manque sur la jaquette et une lettre manuscrite sur le dos de la même. Bon état néanmoins et intérieur très propre.
19891175191989 Editions Belin, Collection "Un Savant, Une Epoque" - 1989 - In-8, broché, couverture illustrée - 262 p. - Quelques illustrations hors texte en N&B
198138861Philosophia, München, 1981. 144 Seiten / pp.; Gr.-8°, 22,5 x 14,5 cm, Leinen mit Schutzumschlag / Cloth with Jacket
1969Cyb-6797Editions OCDL - O.C.D.L. Malicorne sur Sarthe, 72, Pays de la Loire, France 1969 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et bleue, illustrée d'une figure d'ensembles In-8 1 vol. - 101 pages
1970Cyb-614O.C.D.L. , Centre d'Etudes du Processus d'Apprentissage en Mathématiques, CEPAM Malicorne sur Sarthe, 72, Pays de la Loire, France 1970 Book condition, Etat : Bon broché In-8 1 vol. - 101 pages
1966R200134515O.C.D.L.. 1966. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Quelques rousseurs. 52 pages, nombreuses illustrations en noir et blanc dans le texte - papier jauni, rousseurs sur les plats et pages, coins frottés.. . . . Classification Dewey : 160-Logique
1989100124469Bristol Classical Press 1989 156 pages 16 2x1 4x23 8cm. 1989. Relié. 156 pages.
1962009111Bruxelles: Office International de Librairie 1962. SEE OUR PHOTOS. Very Good condition. 16 cm x 25 cm. A solid copy -- square and tight. Bound in the original tan-color paper wrappers mildly sunned at the edges. Stamped in red and black. NO owner's name or bookplate. Final page of text has a tiny corner stain. Otherwise pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 11. Introduction by S. Dockx and 10 papers -- 9 in French 1 in German by P. Bernays. Contributions by F. Gonseth L. Rosenfeld V. Tonini M.-A. Tonnelat J.-L. Destouches L. Brillouin O. Costa de Beauregard I. Prigogine and H. Freudenthal. Includes: Le conflit épistémologique entre Einstein et Bohr by L. Rosenfeld. 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. 128pp. Great Packaging Fast Shipping. Office International de Librairie 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
1942007675New 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 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. Very Good condition/No Jacket. 8vo. ix 944pp. Great Packaging Fast Shipping. The Macmillan Company Hardcover
1987RO80155029CARRERE / VERTIGES DU NORD. 8 avril 1987. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Intérieur frais. 464 pages.. . . . Classification Dewey : 160-Logique
1940006437New York: Henry Holt and Company 1940. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Review Copy with publisher's printed ad on the front pastedown endpaper saying the book is "a new and impressively different introductory text." and listing $3.40 as the price. Bound in the original bluish-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. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. xii 428pp. Great Packaging Fast Shipping. Henry Holt and Company Hardcover
1966F109135Hamburg, 1966 138pp., 21cm., softcover, text in German, Doctoral dissertation (Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Universität Hamburg), stamp at verso of title page, text is clean and bright, good condition, F109135
1974vb3139Mame Repères Broché 1974 In-12 (11 x 18 cm), broché, 290 pages ; pliure au dos, bord des plats et dos insolés, par ailleurs assez bon état. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
1964023679Princeton New Jersey: Princeton University Department of Mathematics 1964. Good condition. No owner's name or bookplate. Pages are clean crisp and unmarked. 8.75" wide by 11.25" tall. Pages are printed on rectos only blank versos housed in a blue paper portfolio with title visible under a clear plastic window. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal 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. Good condition. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Paperback
1964007754Princeton New Jersey: Princeton University Department of Mathematics 1964. Very Good condition. A bright clean tight copy. No owner's name or bookplate. Pages are fresh crisp and unmarked. 8.75" wide by 11.25" tall. Bound in black cloth lettered in shiny gold on the front cover. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal 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. Hardcover. Very Good condition/No Jacket. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Hardcover
19912092902137800441Otsukishoten 1991. Soft Cover. Fine. Size: chrysanthemum format Number of books: 1 Otsukishoten paperback
