Haack SusanLivre Rare Book
Deviant logic. Some philosophical issues
1975100136461Cambridge University Press 1975 191 pages 43x559x358cm. 1975. Relié. 191 pages.
Un Autre Monde · Val Couoesnon, France13,00 €
1 936 résultats
1955009120Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and tight. Bound in the original paper wrappers a little sun-faded at the spine. NO owner's name or bookplate. Pages are bright white clean and unmarked. Collection de logique mathematique série A No. VII. Contents: Part I. Logique combinatoire et alpha conversion: 1 La construction des fonctions combinatoires; 2 Des systèmes d'axiomes pour la logique combinatoire; 3 L'equivalence de la logique combinatoire à la alpha-conversion; 4 La connexion entre alpha-conversion et fonctions récursives; 5 Le paradoxe de Curry. Part II. Les modèles des logiques formelles: 1 La notion de modèle; 2 Le thèorème de Löwenheim-Skolem; 3 La logique Lc; 4 Les modeles dans une logique formelle; 5 Quelques démonstrations d'indépendance. Bibliographie. Index des auteurs. Table des symboles. 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 première édition. Softcover. Very Good condition. iv 71pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
1990R320019710MARABOUT. 1990. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 317 pages illustrées de nombreuses figures dans le texte.. . . . Classification Dewey : 160-Logique
1975100136461Cambridge University Press 1975 191 pages 43x559x358cm. 1975. Relié. 191 pages.
10525,Paris, Plon 1956, 311 pp., 1 vol. in 12 br. beaucoup d'annotations au crayon de mine
1979R100052477Presses Universitaires de France. 1979. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 422 pages - couverture contrepliée.. . . . Classification Dewey : 160-Logique
br. Il professor Mens e gli studenti Aequor e Fulmen, prendendo spunto da vicende quotidiane, si cimentano con la logica matematica e linguistica. Attraverso dialoghi vivaci e divertenti, arricchiti da originali ed eloquenti disegni, i personaggi esplicitano i procedimenti logici che li portano alla soluzione dei quesiti. Dall'isola di Smullyan ai connettivi matematici e linguistici, dai campi semantici ai diagrammi di Eulero-Venn e così via, questo volume fornisce approfondimenti agili e batterie di test per esercitarsi sui diversi argomenti di logica proposti nei dialoghi. Se sei uno studente che deve prepararsi per i test di ammissione all'università o per le gare di matematica, se sei un docente che vuole costruire laboratori interdisciplinari a partire dai test di logica (per finire poi, chissà, col realizzare progetti di scrittura creativa o giochi di logica), se sei una persona curiosa che vuole cimentarsi in esercizi di logica, questo testo fa per te!
19448241Paris, Editions J. Olivien, 1944 ; in-8, broché, couverture orange semi-cartonnée imprimée rouge et noir ; 260 pp.
76544aafBerlin, Druck und Verlag von Georg Reimer, 1868, gr. in-8vo, XII + 662 S., Ex-Libris O.-Holzsschnitt signiert PK, Emil Spiesz, hs. Signatur auf Titelbl., Original-Leinenband d. Zeit.
1958F74900Frankfurt am Main, Vittorio Klostermann 1958 240pp., 21cm., 2nd editon, softcover, very good, F74900
1929PHIL0427München, Reinhardt 1929. 143 S. OHLn. Bibliothekslasche auf Spiegel, Stemp. auf Titel.
In 8', br. ed. pp. 196, bruniture e spaccature al dorso, segni d'uso ai piatti, fioriture e segni del tempo all'interno.
240pp., 21cm., 2nd editon, softcover, very good, F74900
In 8, br. ed., pp. 220 con ill. in n. n.t.Prima ed.Piccole pieghe agli angoli del piatto ant., nastro adesivo di carta con numero a penna al piede del dorso, interno in ottime condizioni.Luogo di pubblicazione TorinoEditore BoringhieriAnno pubblicazione 1998Materia/Argomento Logica, Matematica, ScienzePrima Edizione Sbr>
Fine English Paperback. Pbo. Cr. 8vo. (20 x 14 cm). In Turkish. 192 p. Dil, dogruluk ve mantik.= [Language, truth and logic]. Translated by Vehbi Hacikadiroglu.
1942007675New York: The Macmillan Company 1942. Very Good condition. A solid copy. Square and reasonably tight. Hinges are sound. Text pages are clean and crisp. No underlining. No highlighting. No margin notes. Illustrated with figures/diagrams/maps. Tables. Graphs. Bibliography. Index. Bound in the original brick red cloth lettered in shiny gold over black on the spine and front cover. 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. Please check our inventory for several others that do. But this is almost certainly the very copy that Church used for his review of the book that appeared in the JOURNAL OF SYMBOLIC LOGIC vol. 7 issue 3 1942. 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. Hardcover. Very Good condition/No Jacket. 8vo. ix 944pp. Great Packaging Fast Shipping. The Macmillan Company Hardcover
trad. di Daniela Benelli tela edit. con titoli, acetato protettivo, minima rottura all'acetato
Firenze, Carlo Pratesi, 1908-1916, 5 parti legate in 4 voll. in-16, br. edit., pp. 137 - 122 - 93, [3] - 162, [2]. “Opuscoli fiorentini”, V-XI.
Mm 125x205 Collana "Temi" - Brossura editoriale, 226 pagine con un indice dei nomi in chiusura. Copia pari al nuovo, spedizione in 24 ore dalla conferma dell'ordine.
1953009122Helsinki Finland: Societas Philisophica 1953. Very Good condition. 17.5 cm x 25 cm. A solid copy. Bound in the original paper wrappers a little rubbed and mildly sun-darkened at the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Entirely in English. Bibliographical references. Complete with page of corrections. Very early work by the Finnish philosopher and logician Jaakko Hintikka -- currently Professor of Philosophy at Boston University. Regarded by many as the founder of formal epistemic logic and of game semantics for logic Hintikka has made significant contributions to epistemology language theory mathematical logic philosophical logic the philosophies of mathematics and science. He was awarded the Rolf Schock prize in logic and philosophy in 2005 "for his pioneering contributions to the logical analysis of modal concepts in particular the concepts of knowledge and belief." 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. Softcover. Very Good condition. 73pp. Great Packaging Fast Shipping. Societas Philisophica Paperback
In-8°, pp. 175, brossura editoriale.
44930Vrin.1935.2 vols.in-8 br. Tome I: Le dualisme antagoniste et les exigences historiques de l'esprit.308 p.non coupées. Tome II: Essai d'une nouvelle théorie de la connaissance.296 p.non coupées. BE.Tome I: qques marques de crayon en marges.Couvs. insolées.Dédicace de l'Auteur dans le I.
1953023626Paris: Instytut Literacki 1953. Very Good condition. May - Mai 1953. Dwa znakomite dziela by José Ferrater Mora occupies pages 18-32. Tipped in is the original mailing label addressed to Professor Alonzo Church Princeton University Department of Mathematics. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. This one isn't signed by him but please check our inventory for several that are. 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. 160pp. Great Packaging Fast Shipping. Instytut Literacki Paperback
19914174LGF/Le Livre de Poche 1991 80 pages in12. 1991. Broché. 80 pages. Ouvrage pratique visant à améliorer les capacités de raisonnement logique à travers des exercices et des méthodes pédagogiques accessibles
