Stolyar Abram AronovichMareMagnum
Stolyar A. ALivre Rare Book
Introduction to Elementary Mathematical Logic
1971réf. 100137656MIT Press 1971 240 pages 64x516x330cm. 1971. Relié. 240 pages.
Un Autre Monde · Val Couoesnon, France18,00 €
1970pp. 209, in 8°, rileg. in t.t. con sopracoperta.
1971réf. 100137656MIT Press 1971 240 pages 64x516x330cm. 1971. Relié. 240 pages.
réf. 4172845-nnew. unknown
réf. 4172845like new. unknown
1963réf. 005923Djursholm Sweden: Institute Mittag-Leffler 1963. Near Fine condition. SEE PHOTOS. Bright clean square and tight. Hinges are perfect. Bound in the original blue cloth with gilt lettering on the front cover and on the spine over a handsome brown panel. Gilt lettering is still bright and shiny. Pages are clean and unmarked. No underlining. No highlighting. No margin notes. Includes LOGIC ARITHMETIC AND AUTOMATA by Alonzo Church along with a large number of other papers most in English but with some in French German or Russian. Bibliographical references. Index. From the preface: "This volume contains the official record of the International Congress of Mathematicians held in Stockholm from 15 to 22 August 1962 and the text of the addresses given by invitation of the Organizing Committee." This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction. 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. Hardcover. Near Fine condition/No dust jacket. Illus. by NOT a library discard. 8vo. L 597pp. Great Packaging Fast Shipping. Institute Mittag-Leffler Hardcover
1978réf. 006413Darmstadt 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
1973DISPONIBILITÀ GARANTITA AL 99%; SPEDIZIONE ENTRO 12 ORE DALL'ORDINE. BUONE/OTTIME CONDIZIONI GENERALI, BRUNITURA E SEGNI DEL TEMPO. Descrizione bibliografica Titolo: Husserl e la fenomenologia Autore: Stefano Poggi Editore: Firenze: Sansoni, 1973 Lunghezza: 106 pagine; 18 cm Collana: Scuola aperta. Scienze umane Soggetti: Filosofia, Fenomenologia, Edmund Husserl, 1859-1938, Ottocento, Novecento, Didattica, Saggi, Fenomenologie, Psicologia, Logica, Germania, Razionalità, Spirito, Tramonto dell'ideologia, Positivismo, Libri vintage, Fuori catalogo, Analisi fenomenologica, Opere, Studi critici, Scienza, Verità, Metodo, Coscienza, Solipsismo, Frege, Linguaggio, Anschauung, Intuizione, Crisi, Scienze, Intenzionalità, Epistemologia, Logik, Erkenntnistheoretische Reduktion, Logische Untersuchungen, Phänomenologie und Theorie der Erkenntnis, Meditazioni cartesiane, Philosophy, Phenomenology, Nineteenth Century, Twentieth Century, Didactics, Essays, Phenomenologies, Psychology, Logic, Germany, Rationality, Spirit, Sunset of Ideology, Positivism, Books Out of Catalog, Phenomenological Analysis, Works, Critical Studies, Science, Truth, Method, Consciousness, Solipsism, Frege, Language, Intuition, Crisis, Sciences, Intentionality, Epistemology, Cartesian Meditations
1967In-8°, pp. 197, brossura editoriale.
réf. B9780982576847Paperback / softback. New. paperback
197024 cm, ril. editoriale, titolo al piatto e dorso, p. 99 (numerazione p. 118-217). Testo italiano, francese, inglese
1977in 8, bross. ed. con band., pp. 174, con formule matematiche n.t., testo bilinge italiano-inglese.Lievi tracce d'uso alla cop., leggera ammaccatura all'angolo inf. e sup. e allo spigolo del dorso, ottime condizioni.Luogo di pubblicazione BolognaEditore Internetional logic review pressAnno pubblicazione 1977Materia/Argomento Logica
1995Esistono ampi territori della matematica che prescindono dai numeri. Territori di confine in cui la matematica si incontra con altre discipline.
2004In 8°, br. edit. ill. (con lievi tracce d'uso), pp. 108,(4); ottimo es.. (m156) (spedizione standard SEMPRE tracciata con raccomandata-piego di libri, eventuale FATTURA da richiedere all'ordine)
1989réf. 2090502113712066Not Available 1989. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1973réf. 2090502113705793Not Available 1973. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1962réf. R100067557Gallimard. 1962. In-12. Broché. Etat d'usage, Couv. remarquable, Coiffe en pied abîmée, Papier jauni. 183 pages.. . . . Classification Dewey : 160-Logique
2002volume secondo leggerissimi quasi impercettibili segni del tempo
2019Mm 170x240 Volume nella sua brossura originale con bandelle, 108 pagine con illustrazioni in nero e a colori. Copia in condizioni di nuovo - brand new in original shrinkwrap.
réf. SONG0817640320Used: Good unknown
réf. 41591195like new. unknown
1968réf. 001873paris "Tel que", Aux Editions du Seuil 1968 In-8 Broché Ed. originale Dédicacé par l'auteur
1970In-8° (cm. 23,9x16,9), pp. 30. Brossura editoriale a graffa, brunitura me piccola gora marfìginale al piatto, ma interno ottino. "Memoria presentata dal socio Cleto CARBONARA". Logica come teoria del conoscere. logica e linguistica. Cita soprattitto, HUSSERL, MERLAEU-PONTY, R. BARTHES. L'Autrice fu professoressa straordinaria di Antropologia culturale nella Facoltà di Scienze politiche dell’Università di Bari.
(Logica) SOAVE Francesco. Istituzioni di Logica. Pisa, Nistri, 1814. In-16°, due parti legate insieme in p. pergamena coeva con tit. e fregi in oro al d.; pp. 260; 184. Ottimo esemplare.
1819In 8', pp. 381, F. Soave, dell'Istituto nazionale e della societitaliana , P. professore nell'Universitdi Pavia- Nuova edizione picorrettta ed accresciuta.Piatti mancanti, parte del dorso mancante, tagli , prime ed ultime carte molto usurate, legatura buona, modesto es.Luogo di pubblicazione NapoliEditore Stamperia della Biblioteca AnaliticaAnno pubblicazione 1819Materia/Argomento Logica
