Hallaq Hallaq Wael BLivre Rare Book
417 résultats
1993100125671Oxford university press 1993 368 pages 14x2 6x22cm. 1993. Cartonné jaquette. 368 pages.
1994100132820Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.
1996__3110148293Walter De Gruyter Inc 1996. Hardcover. New. 413 pages. 9.00x6.25x1.00 inches. Walter De Gruyter Inc hardcover
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
2000x-3540678999Springer Verlag 2000. Paperback. New. 1st edition. 856 pages. 9.00x6.00x1.25 inches. Springer Verlag paperback
1963009072Mé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
1947023624Lisboa Portugal: Publicacoes Europa-America 1947. Inscribed: "March 12th To Prof. Alonzo Church with the compliments of illegible signature NOT Curvelo." Good condition. Discrete Logical Multiplicities. 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. One page does have brief margin notes that appear to be in his 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. INSCRIBED to Prof. Alonzo Church. First Edition. Softcover. Good condition. Illus. by NOT a library discard. 159pp. Great Packaging Fast Shipping. Publicacoes Europa-America Paperback
1936024710Bruxelles Belgium: Privately Published 1936. Good condition. Chip to corner of front cover. Author's business card laid in with "Hommage de l'auteur" handwritten in ink. 102 pages mimeographed on rectos only blank versos. Bound in stiff card wraps with a beige cloth spine. The author's name is hand inked on the spine. Feys was a frequent contributor of reviews to JOURNAL OF SYMBOLIC LOGIC. Oversize Softcover. 8.25" wide by 10.75" tall. 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. 1st ed No additional printings listed. Oversize Softcover. Good condition. Illus. by NOT a library discard. vii 102 pages. Great Packaging Fast Shipping. Privately Published? Paperback
1959009067Neuchatel Suisse: Éditions du Griffon 1959. Very Good condition. 16 cm wide by 23.5 cm tall. A solid copy -- clean and tight. The spine is square and flat. One corner of front wrapper has a mild crease. NO underlining. NO highlighting. NO margin notes. Bibliothèque scientifique no. 34. Festschrift containing 18 papers in various languages by Hao Wang Haskell B. Curry E. W. Beth Wilhelm Ackermann Rudolf Carnap A. A. Fraenkel Kurt Gödel George Kreisel A. Robinson F. Gonseth R. L. Goodstein Hans Hermes et al. Each paper has 3 abstracts -- in English German and French. Bound in the original brown wrappers printed in black and red. 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. Between 1937 and 1954 Bernays wrote a series of articles published in the Journal of Symbolic Logic. Among Church's 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. 295pp. Great Packaging Fast Shipping. Éditions du Griffon Paperback
1937023618Leipzig Germany: S. Hirzel 1937. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 1. Reprinted from Deutsche Mathematik vol. 1 1936 pp. 733-777. This was reviewed by C. H. Langford in Alonzo Church's Journal of Symbolic Logic Volume 2 Issue 2 June 1937 p. 94 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. Softcover. Very Good condition. Illus. by NOT a library discard. 40pp. Great Packaging Fast Shipping. S. Hirzel Paperback
1938023614Leipzig Germany: S. Hirzel 1938. Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 5. This was reviewed by W. V. Quine in Church's Journal of Symbolic Logic Volume 4 Issue 2 1939 87-88. 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. One page does have brief margin notes that appear to be in his 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. Good condition. Illus. by NOT a library discard. 24pp. Great Packaging Fast Shipping. S. Hirzel Paperback
1987100127362Clarendon press 1987 352 pages 13 8x2 6x21 6cm. 1987. Cartonné jaquette. 352 pages.
1962015835Paris Galerie Lawrence 1962 En feuilles
192846101Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp.
192846101Berlin Springer 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away no loss of letters. VIII120 pp. <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> hardcover
191847987Berkeley, University of California Press, 1918. Royal8vo. Orig. full cloth. Stamps on foot of titlepage. VI,406,(4) pp., textfigs. From the library of the Danish logician and philosopher Jørgen Jørgensen with his name on front free endpaper. Some pencil underlinings by Jørgensen.
191847987Berkeley University of California Press 1918. Royal8vo. Orig. full cloth. Stamps on foot of titlepage. VI4064 pp. textfigs. From the library of the Danish logician and philosopher Jørgen Jørgensen with his name on front free endpaper. Some pencil underlinings by Jørgensen. <br/><br/><em>First edition of a main textbook in modern symbolic logic and having an interesting provenance as the copy has belonged to the Danish logician Jørgen Jørgensen."Modern interest in modal Logic begins with the work of C.I. Lewis first published in book form in his 'Survey of Symbolic Logic' of 1918. This theory is commonly called the logic of strict implication because it was originally put forward in opposition to an account of implication which Lewis thought mistaken."Kneale and Kneale "The Development of Logic" 1962 p. 548 ff. </em> hardcover
1938023615Leipzig Germany: S. Hirzel 1938. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 3. An axiomatization of general mechanics. Research on logic and the foundations of the exact sciences Issue 3 Leipzig 1938. This was reviewed by Barkley Rosser in Church's Journal of Symbolic Logic Volume 3 Issue 3 1938 119-120. 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. Very Good condition. Illus. by NOT a library discard. 48pp. Great Packaging Fast Shipping. S. Hirzel Paperback
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
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
1912ZNC-121Paris, Armand Colin, 1912, 4 volumes in-8°, brochés, dos cassés.
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
