1 936 résultats
8°; cc. 109, (2); xilografie nel testo; p. pergamena molle. Piccolo trattato di logica.
6749, Rome / Paris, Le Raison, 1791.**, Relie de l' epoque, plein veau, cadre fleuronne dore sur les plats, dos orne dore, coupe et coiffes dore, titre dore sur etiquette noir, plats de papier marbre, 13x20cm, 244pp.
1970ZB394721International Logic Review 1970. volumes 1-17 1970-1986 an uninterrupted run of complete volumes partly bound library markings else textually clean & tight PRICE IS FOR THE LOT. - 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. International Logic Review unknown
1992R160218242Presses Universitaires de France. 1992. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 319 pages - quelques phrases soulignées au crayon à papier à l'intérieur du livre sans conséquence sur la lecture.. . . . Classification Dewey : 160-Logique
1938006438Philadelphia: Westbrook Publishing Company 1938. INSCRIBED by the author on the front pastedown endpaper: "To Prof. A. Church / Dec 14 '38 / With the profound respects of the / author / signed Irwin Biser." Very Good condition. A clean square tight copy. Hinges are perfect. Mild bend/crease at the bottom of the front board. Spine a little sunned. Bound in the original maroon cloth lettered in bright gold on the front cover. This 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 including this one contain a presentation inscription to him. A few others are signed by 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. INSCRIBED / SIGNED by the AUTHOR. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. 155pp. Great Packaging Fast Shipping. Westbrook Publishing Company Hardcover
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
1 15x8.5 cm., 3 cc. n.n., 472 pp., 4 cc. n.n., marca al frontespizio, legatura in pergamena con titolo manoscritto al dorso, sesta edizione, opera in buone condizioni, in francese
9560Manuscrit ancien, in-8, vélin ivoire de l'époque, en deux parties de 64 et 80 pp., frontispice gravure de la Vierge à l'enfant.
192849908Berlin Springer 1928. 8vo. Uncut in orig. printed wrappers. VIII120. With the name of Bent Schultzer Former Danish professor in philosophy on first leaf. Internally clean. <br/><br/><em>First edition. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen Band XXVII. In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' the offered item. It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem 'Entscheidungsproblem'. The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic capable of modeling arithmetic is either incomplete or inconsistent Gödel's second incompleteness theorem. The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel Church and Turing rank amongst the most important contributions to mathematical logic ever. </em> unknown
192849908Berlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean.
1963023564Berlin: Druck: Ernst-Reuter-Gesellschaft 1963. Inscribed to Professor ALONZO CHURCH and signed "Cordially M. Laserna." with his address in Bogota Columbia penned in ink at the bottom of the title page. PHOTOS UPON REQUEST. Very Good condition. Thesis/dissertation : German and English. From Wikipedia: "Mario Laserna Pinzón August 21 1923 July 16 2013 was a Colombian educator and politician born in Paris of Colombian parents. Laserna Pinzón is credited for being the founder of the Los Andes University in Bogotá which was incorporated in 1948 and is a private institution modeled on the United States liberal arts educational system. He obtained a Master's degree at Princeton University probably where he met Prof. Alonzo Church and to study German and philosophy at the University of Heidelberg in Germany and he later obtained a Doctorate at the Free University of Berlin. For his life's work he was awarded a Doctorate Honoris Causa by Brandeis University. He also served as Senator of Colombia and Ambassador to France and Austria and is an author of several books. Because of his life's work and contribution to the country President Álvaro Uribe Vélez honored him with the Order of Boyacá in the Rank of the Grand Cross the highest civilian honour bestowed by the Republic of Colombia." 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. 179pp. Great Packaging Fast Shipping. Druck: Ernst-Reuter-Gesellschaft Paperback
1955023625Moscow USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova 44 1955. Text in Russian. Because this marketplace does not accommodate Cyrillic charcters all Russian language words from this book have been here transliterated into Latin script. Good condition. Spine is worn. Edges of the cover are sunned. Pages are clean and unmarked. From Encyclopedia: "In 1952 Novikov constructed a finitely defined group H with an unsolvable word problem that is a group with no algorithm to solve the word problem for H. This result was first announced in his 1952 paper Ob algoritmicheskoi nerazreshimosti problemy tozhdestva On the Algorithmic Unsolvability of the Word Problem. The complete proof was published three years later i.e. in this 1955 edition. In 1957 William W. Boone gave another example of a group with an unsolvable word problem and therefore this result is called the Novikov-Boone theorem. Important corollaries derived from this theorem have suggested that there are many unsolvable algorithmic problems in fundamental branches of classical mathematics. Novikov received the Lenin Prize for this significant achievement in 1957." 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 Complete Edition. Softcover. Good condition. Illus. by NOT a library discard. 144pp. Great Packaging Fast Shipping. Trudy Matematicheskogo instituta inteni V. A. Steklova, 44 Paperback
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
1775107081BBParis, Humblot, 1775. 8°. XLVIII, 430 S. Marmorierter Kalbslederband der Zeit mit goldgepr. Rückenschild und reicher floraler Rückenvergoldung (signiert: "Jn. Ravet en Cadiz"). Nouvelle edition, revue et corrigée.
Opera completa, 3 volumi in brossura editoriale a stampa, cm18x26.5., pp pp VIII 530 (2), VIII 515 (5), VIII 467 (5); introduzione di Ugo Cassina. VOLUME I (1957): ANALISI MATEMATICA - CALCOLO NUMERICO. VOLUME II (1958): LOGICA MATEMATICA - INTERLINGUA ED ALGEBRA DELLA GRAMMATICA. VOLUME III (1960): GEOMETRIA E FONDAMENTI - MECCANICA RAZIONALE - VARIE. Molto ben conservati, a fogli chiusi; sul frontespizio di ciascun volume una piccola nota a penna e una a matita, lieve traccia di piega sul piatto posteriore del volume secondo.
1692118157Lugduni, apud Joannem Baptistam de Ville 1692 In-16 15,5 x 8 cm. Reliure de l’époque veau havane, dos à nerfs encadrés de fers dorés, [20]-600 pp., ex-libris autographe en page de garde. Accrocs en tête et en pied de dos, coins émoussés et frottés, accident sensible en marge supérieure du premier, intérieur correct. édition peu courante.
8vo., small neat signature on title; handsomely bound in brown full crushed morocco, sides with gilt frame border, back with raised bands, second and fourth compartments lettered and ruled in gilt, all other compartments tooled and ruled in gilt, gilt top, hand-made endpapers, original gilt from backstrip preserved and mounted on new leaf at front, ribbon marker, a most attractive copy ideal as a gift or for presentation. First published in 1843. Includes the author's Prefaces to the first, third, fourth and eighth editions.
172440239Venedig, Ex Typographia Balleoniana (Balleoni), 1724. Kl.-8°. Mit einigen Holzschn.-Vignetten u. -Initialen. 10 Bll., 360 S., 2 Bll.; 544 S., 2 Bll.; 438 S., 2 Bll.; 454 S., 1 Bl., Pgmt.-Bde. d. Zt.
1912ZNC-121Paris, Armand Colin, 1912, 4 volumes in-8°, brochés, dos cassés.
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
18652202210077xbvkCambridge - London, Macmillan and Co., 1865. xv, 496 pages; 1 folded plate / xi (i), 235 pages. - Publisher's gilt-titled green cloth-bindings; 8vo.(ca. 19,5 x 13,5 x 3 / 1 cm.).
20151S.N. Charles ( Chastellain ) S.L. (Paris) S.D. (vers 1655) 2 tomes reliés en 1 volume petit in-4 carré ( 235 X 180 mm ), pleine basane tabac ( Reliure de l'époque ). Exemplaires entièrement gravés montés sur onglets. Absence de pages de titres, dos absent, coupes et coins usés.Edition très rare de ces deux ouvrages de philosophie composés par Louis De LESCLACHE ( 1620-1671 ), philosophe dorigine auvergnate qui enseigna la grammaire et la philosophie à Paris, à Lyon et à Grenoble. Il était un partisan de linstruction des femmes et tenta de réformer lorthographe.- LA SCIENCE GENERALE EXPLIQUEE EN TABLES. La Seconde partie de la Philosophie, ou la science générale. Divisée en quatre parties. Page de titre ornée et 16 tableaux à double-page.- La Physique expliquée en tables. Page de titre ornée et 26 tableaux à double-page.
185697348Paris: Migne 1856. 4° (28 x 18 cm). Zeitgenössische Halblederbände mit goldgeprägtem Rücken. [Hardcover / fest gebunden].
2014100130215Oxford Univ Pr 2014 416 pages 16x24 1x4 1cm. 2014. Cartonné jaquette. 416 pages.
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
