Logique

Logique — marelibri

Goldblatt, Robert I; (editors: Stanislawa Hanausek & Anna Lubasiowa) [from the library of Alonzo Church]Biblio.com

Metamathematics of modal logic in Reports on Mathematical Logic Nos. 6-7

1976réf. 009073Warsaw / 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

About Books · États-Unis150,00 $US≈ 133,75 €

Sellars, Wilfrid [from the library of Alonzo Church]Biblio.com

Mental Events

1981réf. 009076Dordrecht 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

About Books · États-Unis65,00 $US≈ 57,96 €

Church, Alonzo [from the library of]Biblio.com

Memorias Del XIII Congreso Internacional De Filosofia México D.F 7-14 De Septiembre De 1963 EL PROBLEMA DEL HOMBRE / LA CRÍTICA DE LA ÉPOCA / COMUNICACIONES INTRODUCTORIAS

1963réf. 009072Mé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

About Books · États-Unis195,00 $US≈ 173,87 €

Logique

Logique

Siècle

Langue

Pays du libraire

Photos

Ajouté

Sujets

Catalogues

Siècle

Langue

Pays du libraire

Photos

Ajouté

Sujets

Catalogues

Siècle

Langue

Pays du libraire

Photos

Ajouté

Sujets

Catalogues