1 775 résultats
1959
réf. 1145542Basic Books Inc 1959. 1st American edition. Hard cover. Very good/Very good. Jacket is worn and tanned on top edge but text and images are clear and bright. Cover is in great condition. Binding is tight. Inside is clean and unmarked. Basic Books, Inc unknown
1963réf. 023564Berlin: 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
réf. 96181aafWürzburg, Königshausen & Neumann, 1988, in-8vo, 202 S., orig. Leinenband mit orig. illustr. Umschlag.
réf. PHIL1745o.J. alle Titel mit Stellspuren. Käsbauer, Max u. Franz v. Kutschera (Hrsg.). Logik und Logikkalkül. Freibg., Mchn., Alber (1962). 248 S., 1 Bl. Vlgsanz., OLn., berieb., RüKanten aufgeplatzt u. etw. zerschliss./ Eberlein, G. W. Kroeber-Riel, W. Leinfellner (Hrsg.). Forschungslogik der Sozialwissenschaften. Mit Beiträgen von H. Albert, R. Carnap, G. Eberlein, W. Kroeber-Riel, W. Leinfellner, M. Nowakowska. (Düsseldf.), Bertelsmann Univ. Vlg. (1974). gr.-8°, 309 S., 1 S. Vlgsanz., OKart., Kanten u. Ecken berieb. u. leicht bestoß., vord. RüKante unten etw. aufgeriss., Buchblock in einige Lagen zerfallen, unfrisches Expl. (= Wirtschaftstheorie d. Wirtschafts- u. Sozialwissenschaften. Bd. 3)./ Weingartner, Paul. Wissenschaftstheorie II,1 Grundlagenprobleme der Logik und Mathematik. (Stgt.), frommann-holzboog (1976). 358 S., OKart., berieb., Knickspuren, RüDeckel fleck., Schnitt verstaubt, unfirsches Expl./Hübner, A. Die Logik als Zustandhaftigkeit der Welt. kl.-8°, 74 S., OKart., berieb., abgegriff., Widmung an Elisabeth Leinfellner auf Vors.
1890réf. F120679Kopenhagen/ Leipzig, Frimodts Verlag/ Reisland 1890 xii + 389pp., 22cm., "Nach der zweiten Auflage des Originals unter Mitwirkung des Verfassers ins Deutsche übersetzt von F. Bendixen", softcover, good condition, F120679
In 8, pp. 78, br. Lievissimi difetti al dorso. Buon esemplare (6118/ ALGEBRA - LOGICA)
1966réf. R200134515O.C.D.L.. 1966. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Quelques rousseurs. 52 pages, nombreuses illustrations en noir et blanc dans le texte - papier jauni, rousseurs sur les plats et pages, coins frottés.. . . . Classification Dewey : 160-Logique
1976In-8°, pp. 278. Cartoncino editoriale. 56 pagine introduttive su cos'è la LOGICA. Poi due parti: 1) opposizione e Eraclito. identità e Parmenide, dialettica e Zenone di Elea, contraddizione (Protagora, Gorgia), vero e falso e semnatica (Platone). 2) Logiche formali: dei termini (Aristotele); logica proposizionele nel Megarici e negli Atorici. Appendice: Elementi e formule del calcolo logico: pèropsizionale, delle classi, dei predicati.
