Klassenlogik und formale einteilung der wissenschaft

Berlin: 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.