‎Logique‎

‎MOUTAFAKIS Nicholas J.‎

‎THE LOGICS OF PREFERENCE. A STUDY OF PROHAIRETIC LOGICS IN TWENTIETH CENTURY PHILOSOPHY.‎

‎Mugnai (Massimo)‎

‎La logica da Leibniz a Frege‎

‎In-8 broché, Loescher, 1982, 396 pp. Un peu frotté, piqué, jauni et gauchi, usure d’usage. Bon exemplaire de lecture pour ce titre peu courant. Poids 320 g. Envoi lettre verte. Frais d'envoi 6,48 euros sur la France, 12,00 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY, n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.‎

书商的参考编号 : UUI-11714

‎Muller (G.H.), Oberschelp (A.) and Potthof (K.), eds. - Z. Adamowicz - E. Borger - M. Boos - K. Devlin - K. Devlin and R. Jensen - J. Fenstad - R. Fittler - T. Flannagan - J. Flum - K. Gloede - C. Imbert - S. Kochen - P. Krauss - F. v. Kutschers - W. Marek and A. Mostwocki - H. Rasiowa - D. Scott‎

‎ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (An observation on the product of Silver's forcing - Recursively unsolvable algorithmic problems and related questions reexamined - Lectures on large cardinal axioms - Indescribability properties and small large cardinals - Marginalia to a theorem of Silver - Computation theories : An axiomatic approach to recursion on general structures - Closed models and hulls of theories - Axioms of choice in Morse-Kelley class theory - First-order logic and its extensions - Set theory in infinitary languages - Sur la méthode en histoire de la logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)‎

‎Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages‎

‎1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy‎

书商的参考编号 : Cyb-6277

‎Musacchio, Enrico (a Cura di)‎

‎Il Pensiero Di Bertrand Russell Una Antologia Dagli Scritti‎

‎Mm 120x185 Collana "Classici della Filosofia". Brossura editoriale, xxxviii-349 pagine, timbro commerciale al frontespizio. Ottimo stato. Spedizione entro 24 ore dalla conferma dell'ordine.‎

‎Muskens Reinhard Anton; from the library of Alonzo Church‎

‎Meaning and Partiality‎

‎Alblasserdam: Kanters 1989. Fine condition. 16.5 cm x 24 cm. A bright clean tight copy. Sharp corners. The spine is square and flat. No creases. NO owner's name or bookplate. Pages are fresh and crisp. NO underlining. NO highlighting. NO margin notes. In English except for a one-page summary in Dutch. Bound in the original green wrappers with the author's name and address label small on the rear cover. Bibliographical references. 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 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. Fine condition. vi 138pp. Great Packaging Fast Shipping. Kanters Paperback‎

书商的参考编号 : 009082

‎MYHILL/KINO/VESLEY J./A./R.E.‎

‎INTUITIONISM AND PROOF THEORY. PROCEEDINGS OF THE SUMMER CONFERENCE AT BUFFALO, N.Y. STUDIES IN LOGIC AND THE FONUNDATIONS OF MATHEMATICS.‎

‎Nagel Ernest Newman James R‎

‎Gödel's Proof‎

‎New York: New York University press 1960. second impression 1960. Fair. see pictures this is a soft cover book it has some chipping away some of the cover itself there are some tanning the edges the pages it has a crease on the spine the spline is glued and intact. the book is free of markings and inscriptions there is a small discoloration on the first page end page probably from a stock used on the cover.Research on the consequences of this great theorem continues to this day. Anyone with Internet access using a search engine like Alta Vista can find several hundred articles of highly varying quality on Godel's Theorem. Among the best things to read though is Godel's Proof by Ernest Nagel and James R. Newman published in 1958 and released in paperback by New York University Press in 1983.Ironically few mathematicians of the time were able to understand the young scholar's complex proof and the full importance of this work was largely overlooked for many years.Title Gödel's Proof Author Ernest Nagel Contributor James Roy Newman Edition 7 reprint Publisher New York University Press 1958 ISBN 0814703259 9780814703250 Length 118 pages Subjects Mathematics Logic Mathematics / Logic.about the author.Born in Czechoslovakia Ernest Nagel emigrated to the United States and became a naturalized American citizen. In 1923 he graduated from the City College of New York where he had studied under Morris Cohen with whom he later collaborated to coauthor the highly successful textbook An Introduction to Logic and Scientific Method 1934. Pursuing graduate studies at Columbia University he received his Ph.D. in 1930. After a year of teaching at the City College of New York he joined the faculty of Columbia University where in 1955 he was named John Dewey Professor of Philosophy. In 1966 he joined the faculty of Rockefeller University. Nagel was one of the leaders in the movement of logical empiricism conjoining Viennese positivism with indigenous American naturalism and pragmatism. In 1936 he published in the Journal of Philosophy the article "Impressions and Appraisals of Analytic Philosophy" one of the earliest sympathetic accounts of the works of Ludwig Wittgenstein Moritz Schlick and Rudolf Carnap intended for an American audience. Nagel was esteemed for his lucid exposition of the most recondite matters in logic mathematics and natural science published in essays and book reviews for professional journals scientific periodicals and literary reviews. Two of his books now out of print consisted of collections of his articles Sovereign Reason and Other Studies in the Philosophy of Science 1954 and Logic Without Metaphysics and Other Essays in the Philosophy of Science 1957. He also wrote a monograph Principles of the Theory of Probability 1939 which appeared in the International Encyclopedia of Unified Science. In his major book-length work The Structure of Science Nagel directed his attention to the logic of scientific explanation . .Ruth Reaser.LAX Vespa. Books and rags.- The book would be Shipped Media mail via USPS it comes from the Los Angeles Area at whatever PO is closest to my errands or my life that day since I carefully pack your book then have to hop on the Vespa and visit the PO to have it placed in our mail system.Ruth Reaser LAX Vespa . <br /><br /> New York University press paperback‎

书商的参考编号 : 750 ???????? : 0814703259 9780814703250

‎Nagel, Ernest und James R. Newman‎

‎Der Gödelsche Beweis. Deutsche Übersetzung von Hubert Schleichert.‎

‎Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.‎

书商的参考编号 : MATH0248

‎Natali Carlo Ferrari Franco‎

‎Modelli di ragionamento nella filosofia antica (Biblioteca di cultura moderna)‎

‎Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.‎

‎Très Bon Etat de conservation intérieur propre bonne tenue‎

书商的参考编号 : 100132820

‎Neumann Henry‎

‎Spokesmen for Ethical Religion : Biographical Sketches of the Great Figures in the Ethical Culture Society‎

‎Boston Massachusetts: The Beacon Press 1951. A square tight copy. Dust Jacket is price clipped but repriced with an ink stamp 2.75. No owner's name or bookplate. No remainder mark. Pages are unmarked. Bound in the original brick-color cloth decorated in black. List of chapter notes/sources. Bibliography. Index. Includes profiles of Felix Adler John L. Elliott William M. Salter S. Burns Weston Stanton Coit Nathaniel Schmidt Lord Harry Snell Alfred W. Martin Anna G. Spencer. From the Dust Jacket: "This book celebrates the 75th Anniversary of the organizing of the first Ethical Culture Society in America in 1876 by Felix Adler. Its importance lies in the fact that although the Ethnical Culture Society is a small group it has exercised a wide and deep influence in this country out of all proportion to its numerical size. This book tells the reasons by illustrating them in the lives of the spokesmen -- men and women who were part of the force for progress during the past 75 years.". First Edition. Hard Cover. Very Good condition/Good Dust Jacket edge chips. 8vo. xvii 173pp. . The Beacon Press Hardcover‎

书商的参考编号 : 004982 ???????? : 1125320419 9781125320419

‎Neusner, Jacob‎

‎Talmudic thinking. Language, logic, law. [By Jacob Neusner].‎

‎Columbia: Univ. of South Carolina Press 1992. XVI, 193 Seiten. Gr. 8° (22,5-25 cm). Orig.-Pappband mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].‎

‎Schutzumschlag mit minimalen Randläsuren. - Ecken teils minimal bestoßen. Mit sauberem Besitzstempel eines bekannten deutschen Biologen und Judaisten auf dem Titelblatt. - Insgesamt sauberes und gut erhaltenes Exemplar. -- Dust jacket with minimal edge defects. - Some corners minimally bumped. With a clean owner's stamp of a well-known German biologist and Judaist on the title page. - Overall clean and well-preserved copy. ISBN: 0872498255‎

书商的参考编号 : 158582

‎NEWSON/MATTHEWS John/Michael.‎

‎THE LANGUAGE OF BASIC STATISTICS. A PARTICPANT LEARNING PROGRAMME FOR STUDENTS IN EDUCATION AND THE SOCIAL SCIENCES.‎

‎Noel Moulound‎

‎Linguaggio e strutture‎

‎Traduzione di Giuseppe Mininni . Saggi di logica e di semiologia...‎

‎Noever, Peter und Elke Krystufek‎

‎Elke Krystufek - liquid logic : the height of knowledge and the speed of thought ; [anlässlich der Ausstellung Elke Krystufek. Liquid Logic. The Height of Knowledge and the Speed of Thought, MAK Wien, 6. Dezember 2006 - 1. April 2007]. Hrsg. Peter Noever. Beiträgen von Tulga Beyerle ... MAK. [Übers.: Nadjeschda Morawec ...]‎

‎Ostfildern : Hatje Cantz c 2006. 198 S. : 132 farbige Abb. ; 32 cm Top Zustand, kart., Softcover/Paperback, Exemplar in sehr gutem Erhaltungszustand‎

‎Die 1970 in Wien geborene Künstlerin Elke Krystufek schuf in den vergangenen 16 Jahren ein komplexes, oft provokatives, international anerkanntes Werk, in dem sie Malerei mit Collagen, Skulpturen, Videos, Fotografie und Performances kombiniert. In ihrer Beschäftigung mit gesellschaftlichen Normen und familiär geprägten Verhaltensmustern ergründet die Künstlerin das vielschichtige Phänomen der Identität in seiner Interaktion von Selbst- und Fremdwahrnehmung. Die Publikation, die eine Ausstellung im MAK in Wien begleitet, eröffnet mit unterschiedlichen künstlerischen Ausdrucksformen neue Perspektiven zu Überleben und Vergänglichkeit von Kunst, Sammlungsstrategien und der Rolle der Frau im Kunstbetrieb ? in enger Verwebung mit Themen wie Religion, Weiblichkeit und Mythos. Inspiriert von den Sammlungsbeständen des MAK, entwickelte Elke Krystufek zudem neue Objekte, Möbel, Bilder und Fotografien, die in diesem Band erstmals präsentiert werden. Ausstellung: MAK, Wien 6.12.2006?1.4.2007 K-Kryst. 9783775719353 +++++ 30 Jahre Antiquariat Christmann in Wiesbaden +++++ Wir liefern außer nach Deutschland, nur noch nach Schweiz / Holland / Belgien / Italien / GB / USA / +++ We now only deliver to Switzerland / Holland and Belgium / Italy / GB / USA +++ Keine Lieferung nach Österreich ++++‎

书商的参考编号 : 54939

‎NORMAN/ SYLVAN Jean/ Richard.‎

‎DIRECTIONS IN RELEVANT LOGIC.‎

‎Nova Scotia Canada International Symposium on Multiple Valued Logic 27th : 1997 : Antigonish‎

‎27th International Symposium on Multiple-Valued Logic Ismvl '97 International Symposium on Multiple-Valued Logic//Proceedings‎

‎Ieee 1998-01. Hardcover. Good. Ieee hardcover‎

书商的参考编号 : SONG0818679107 ???????? : 0818679107 9780818679100

‎Novikov Petr Sergeevich; from Alonzo Church's library‎

‎Ob algoritmicheskoi nerazreshimosti problemy tozhdestva slov v teorii grupp leading to the Lenin Prize 1957‎

‎Moscow USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova 44 1955. Text in Russian. Because Biblio.com 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.com: "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‎

书商的参考编号 : 023625

‎Nss Arne Naess from the library of Alonzo Church‎

‎Symbolsk logikk 2. utgave Del I. Ustrukturert utsagnslogikk Del II. Kvantorstrukturert utsagnslogikk : Filosofiske problemer Utgitt av Filosofisk Klubb Redakt�r: Arne N�ss‎

‎Oslo Norway: Skrivemaskinstua 1948. Very Good condition. 20.5 cm x 28.5 cm. Staple-bound light blue stiff-paper wrappers mildly faded. Spine covered with dark blue paper that is chipped at the ends. Mimeographed typescript. Pages are printed on one-side rectos only. NO owner's name or bookplate. Pages are bright white clean and unmarked. Text in Norwegian or so I'm guessing. Laid-in are 2 sheets of printed corrections Rettelser til. This is quite possibly the very copy used for the review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC 14 1949 185-186. It 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. 2. utgave. Oversize Softcover. Very Good condition. iv 192 sheets sides. Great Packaging Fast Shipping. Skrivemaskinstua Paperback‎

书商的参考编号 : 009130

‎NYSSENS Paul‎

‎Pensée féconde. Collection Nyssens, culture humaine.‎

‎Bruxelles, Librairie de Culture Humaine, 1930. 13 x 19, 240 pp., broché, bon état.‎

书商的参考编号 : 24922

‎O'Brien Dominic‎

‎N'oubliez plus- Faits et chiffres‎

‎Gründ. 2003. In-24. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 119 pages. Nombresues illustrations monochromes, dans le texte.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

书商的参考编号 : RO30322129

‎OCKHAM William O.F.M. (& BOEHNER Philotheus O.F.M., ed.)‎

‎Summa Logicae [2 volumes] I: pars prima, II: pars secunda et tertiae prima‎

‎St. Bonaventure, The Franciscan Institute 1951-1954 2 volumes, xiv + 461pp. (continuous pagination), 23cm., in the series "Franciscan Institute Publications. Text series" nos.2 & 4, softcovers, small label at lower end of spine, text is clean and bright, good condition, [Introduction in English, text edition in Latin], F119073‎

书商的参考编号 : F119073

‎Odifreddi Piergiorgio‎

‎Il diavolo in cattedra. La logica da Aristotele a Gödel‎

‎In-8 (cm 21x13,5), pp. XII+299, brossura edit. Collana Biblioteca Einaudi Scienza 164. Ex libris impresso a secco al frontespizio. Minimi segni d'uso, ottimo.‎

‎Odifreddi Piergiorgio‎

‎Il matematico impertinente‎

‎br. Impertinente, in senso letterale, è chi "non appartiene", ad esempio a una politica o a una religione, e non appartenendo, suscita i risentimenti e le stizze di coloro che, appartenendo, lo tacciano di arroganza o insolenza. Il matematico impertinente è una specie del genere, caratterizzata dal fatto di non appartenere non per partito preso ma per motivi mutuati dalla più pura razionalità esistente: quella matematica. E l'incarnazione del matematico impertinente è Piergiorgio Odifreddi che nei saggi raccolti in questo volume su politica, religione, letteratura, filosofia e scienza - dispiega l'arsenale della ragione per argomentare che non è affatto vero che non possiamo non dirci cristiani, o che siamo tutti americani, o che la cultura è solo quella mitologica e (pseudo) filosofica sulla quale vive l'informazione. Ed è invece vero che non possiamo non dirci tecnologici, che siamo tutti africani, e che la cultura è anche (o soprattutto?) quella matematica e scientifica che informa la vita.‎

‎ODIFREDDI PIERGIORGIO.‎

‎C'era una volta un paradosso. Storie di illusioni e verità rovesciate.‎

‎In 8°, brossura editoriale illustrata, pp. XVI, 304, (4), illustrato, collana "Grandi Tascabili 921", nota di possesso al frontesp., per il resto esemplare più che buono. (MAG ZC2/d) (spedizione standard SEMPRE tracciata con raccomandata-piego di libri, eventuale FATTURA da richiedere all'ordine)‎

‎Odifreddi, Piergiorgio‎

‎Idee per diventare matematico. Strumenti razionali per la comprensione del Mondo‎

‎Mm 110x175 Collana "I Mestieri della Scienza" - Brossura originale, 126 pagine. Copia in ottime condizioni; spedizione in 24 ore dalla conferma dell'ordine.‎