1 936 résultats
2000x-3540678999Springer Verlag 2000. Paperback. New. 1st edition. 856 pages. 9.00x6.00x1.25 inches. Springer Verlag paperback
1949023567Lisboa: Universidade de Lisboa 1949. Inscribed: "To Prof. Alonzo Church with admiration and friendship and thanks for his Review of my "Introduction a Logica" in the Journal of Symbolic Logic.SIGNED by the author Lisbon 1949." Good condition. Paper clip mark on the title page from attached index card written in the hand of Alonzo Church. Separata da Revista da Faculdade de Letras de Lisboa Tomo XIV - 2 Serie No 3. From Wikipedia: "For Edmundo Curvelo forty years of life and ten publications were enough to mark the history of Portuguese thought; in general through work in the field of logic in particular through the endeavor to logify psychology. According to him Psychology would only gain the status of Science to the extent that it was allowed to logify because for Professor Abrantes science is a logical construction. To logify any subject is to discover the stable structures that have the language that can represent that any subject faithfully. The work he built on logic is all the more remarkable as it is known that the area of logic was not in the history of Portuguese thought an area of great development. Not to underline that at the time it was the occupation of very few. In his research area he fought the current. Professor Manuel Curado 2001 pointedly points out in the History of Portuguese Philosophical Thought that Edmundo Curvelo was the best Portuguese logician of the twentieth century and beyond: For better and worse Curvelo is the logic of the twentieth century. Portugal. Curado 2001: 345. Whether before or after nothing more significant is in the history of Portuguese twentieth-century logic than the work of the Alentejo teacher." 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. 1949 edition. Softcover. Good condition. Illus. by NOT a library discard. 90pp. Universidade de Lisboa? Paperback
1955009116Chartres: Imprimerie Durand 1955. Very Good condition. 16 cm x 24.5 cm. A solid copy. Bound in the original paper wrappers a little age-toned and lightly chipped at the spine ends. NO owner's name or bookplate. Pages are clean and unmarked. Relation theory. Ph.D. thèses présentées a la faculté des sciences de l'université de Paris. soutenues le 29 octobre 1953. Text in French with English summary. This work was reviewed by Paul Dedecker in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 22 Issue 4 1957 371-372. The French mathematical logician Roland Fraïssé 1920-2008 received his doctoral degree from the University of Paris in 1953. In this his thesis Fraïssé devised a method of determining elementary equivalence. Using a back-and-forth methodology he determined whether two model-theoretic structures were elementarily equivalent. It was later formulated as the Ehrenfeucht-Fraïssé game. 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 Thus première édition. Softcover. Very Good condition. 155pp. Great Packaging Fast Shipping. Imprimerie Durand Paperback
1996__3110148293Walter De Gruyter Inc 1996. Hardcover. New. 413 pages. 9.00x6.25x1.00 inches. Walter De Gruyter Inc hardcover
1996100137761OXFORD UNIV PR 1996 288 pages in8. 1996. Cartonné. 288 pages.
Bassani, sed prostant Venetiis apud Remondini, 1773, in-8, legatura coeva in piena pergamena con tassello in pelle al dorso, titolo (abbreviato) al dorso, pp. XVI, 288. Fregio al frontespizio, iniziali, testate, finalini e due figure nel testo. in silografia. Quaderno C con carte invertite come serie numerica. (Sparse tracce di fori di tarlo che interessano solo l'interno dei piatti).
1993100125671Oxford university press 1993 368 pages 14x2 6x22cm. 1993. Cartonné jaquette. 368 pages.
182814816Bachelier Librairie parisienne | Paris & Bruxelles 1828 | 8.50 x 13.50 cm | relié
1994100132820Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.
2 voll. in 8° entro mezza pelle coeva dorso a quattro nervi con decorazioni e titolo in oro, pp. XXIV, (544); pp. XXII 561, (1); buon esemplare, lievissime fioriture alle sole pagine prossime alla legatura. (XE2) (XE2)
1984R100067005Armand Colin. 1984. In-8. Broché. Etat d'usage, Couv. partiel. décollorée, Dos satisfaisant, Intérieur frais. 366 pages - couverture contrepliée - 1er plat légèrement décoloré.. . . . Classification Dewey : 160-Logique
1974R100069381Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique
1973R100055909Librairie philosophique J.Vrin. 1973. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Papier jauni. 316 pages - déchirures sur les contre plats.. . . . Classification Dewey : 160-Logique
1983R100067488Presses Universitaires de France. 1983. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 268 pages.. . . . Classification Dewey : 160-Logique
1971R100067519Flammarion. 1971. In-8. Broché. Etat d'usage, Couv. convenable, Dos plié, Papier jauni. 348 pages.. . . . Classification Dewey : 160-Logique
1999x-0262541041Mit Pr 1999. Paperback. New. 450 pages. 9.25x7.25x1.50 inches. Mit Pr paperback
1978006413Darmstadt Germany: Wissenschaftliche Buchgesellschaft 1978. Near Fine condition. Clean square and tight. Pages are fresh and crisp. No underlining. No highlighting. No margin notes. Among this collection's 21 essays are 5 by Willard van Orman Quine and 3 by Alonzo Church i.e. Propositionen und Satze 1956; Ontologische Voraussetzungen 1958; and Intensionale Semantik 1951. Bound in the original gray cloth lettered in red and in gold over a red spine panel. 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. Still the book contains 3 of his essays -- translated into German and printed here with his permission as stated in the acknowledgments. So it seems likely that the publisher sent a copy to him as a courtesy; and we believe this is almost certainly that copy. 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 Collected Edition. Hardcover. Near Fine condition/No Jacket. vi 372pp. Great Packaging Fast Shipping. Wissenschaftliche Buchgesellschaft Hardcover
1998x-9810234325World Scientific Pub Co Inc 1998. Paperback. New. 356 pages. 12.28x8.96x0.78 inches. World Scientific Pub Co Inc paperback
8vo., First Edition, some mild offsetting from fold-ins to free endpapers, small neat contemporary signature on front paste-down; green cloth, gilt back, a near fine copy in unclipped dustwrapper, the latter lightly age-soiled, and chipped (not affecting lettering) at head of backstrip. With the trade ticket of Blackwell of Oxford on front paste-down. EXTREMELY SCARCE, ESPECIALLY IN THIS CONDITION.
185837291858 Gaetano Sautto, Napoli, 1858. Versione dallo spagnolo corredata di note dal P.M.F. Giacinto M. Faicco. Un volume in-8 plein maroquin rouge, dos lisse orné du titre doré en cartouche, dentelles en tête et en queue, plats estampés, tranches dorées, VII, 247 pages. Très bel exemplaire.
1978006415Torino Italy: Societa Editrice Internazionale 1978. Near Fine condition. Bright shiny clean and tight. The spine is square and flat with NO creases. Pages are clean and unmarked. Bound in the original off-white wraps. 13 cm wide by 19 cm tall. 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. However penciled on the title page are the words "personal copy rec April 1979" in what we believe is Professor's Church's hand. 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. 368pp. Great Packaging Fast Shipping. Societa Editrice Internazionale Paperback
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
1997x-3540629637Springer Verlag 1997. Hardcover. New. 394 pages. 9.75x6.75x1.00 inches. Springer Verlag hardcover
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
1997x-0792345606Kluwer Academic Pub 1997. Hardcover. New. 232 pages. 10.00x6.75x0.75 inches. Kluwer Academic Pub hardcover
