Logique

CLEFS POUR LA SEMANTIQUE

1972 · ROD0129199 — SEGHERS. 1972. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur frais. 266 pages - plats et coiffes frottés.. . . . Classification Dewey : 160-Logique

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

LOGIQUE ET PHILOSOPHIE DES SCIENCES

1944 · RO70074669 — Hachette. 1944. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos très frotté, Intérieur bon état. 249 pages. Couverture verte et blanche. Pages légèrement passées.. . . . Classification Dewey : 160-Logique

Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium Publications of the Austrian Ludwig Wittgenstein Society – New Series 27

2019 · 030463 — Berlin & Boston: De Gruyter 2019. Fine condition. Square and tight. NO owner's name or bookplate. NOT a library discard. NOT a remainder. Pages are crisp clean and unmarked. NO underlining. NO highlighting. NO margin notes. Mostly in English. A few papers in German. Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium Publications of the Austrian Ludwig Wittgenstein Society – New Series 27. Bound in the original white and gray pictorial laminated boards. From the publisher: "This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism mathematical realism and formalism. The contributing authors are Matthias Baaz Francesco Berto Jean-Yves Beziau Elena Dragalina-Chernya Günther Eder Susan Edwards-McKie Oliver Feldmann Juliet Floyd Norbert Gratzl Richard Heinrich Janusz Kaczmarek Wolfgang Kienzler Timm Lampert Itala Maria Loffredo D'Ottaviano Paolo Mancosu Matthieu Marion Felix Mühlhölzer Charles Parsons Edi Pavlovic Christoph Pfisterer Michael Potter Richard Raatzsch Esther Ramharter Stefan Riegelnik Gabriel Sandu Georg Schiemer Gerhard Schurz Dana Scott Stewart Shapiro Karl Sigmund William W. Tait Mark van Atten Maria van der Schaar Vladimir Vasyukov Jan von Plato Jan Wolenski and Richard Zach.". First Edition. Hardcover. Fine condition/No dust jacket as issued. Illus. by NOT a library discard. 8vo. xi 547pp. Great Packaging Fast Shipping. De Gruyter Hardcover

La logica da Leibniz a Frege

1982 · UUI-11714 — 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.

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)

1975 · Cyb-6277 — 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

Béatrix ou la logique des contraires

12373 — Paris, Honoré Champion, 1997. Coll. "Romantisme et Modernités", n° 9. Grand in-8 broché cartonné, ill. sur 1er plat (Portrait de Marie d'Agoult), 312 p. Très bon état.

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.

Condizioni Dell'esperienza e Fondazione Della Psicologia

Mm 160x245 Volume rilegato di pp. 387, sovraccoperta editoriale con piccolo strappo, in ottimo stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.

Il buon uso della logica in materia di religione del canonico Alfonso conte Muzzarelli. Terza edizione con aggiunte dello stesso autore. Tomo quinto.

In Fuligno, per Giovanni Tomassini stamp. vescov., 1789, in-8, cartonatura rustica coeva, pp. 324. In gran parte intonso. Poche carte con fioriture, lievi aloni alla cartonatura. Solo volume quinto (sui sei complessivi dell'edizione).

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

Le théorème de Gödel , Traduction de l'anglais et de l'allemand par Jean-Baptiste Scherrer (Gödel's Proof)

1989 · Cyb-7082 — Seuil , Sources du Savoir Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et rouge In-8 1 vol. - 184 pages

La prova di Gödel

br. Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.

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

1964 · MATH0248 — 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.

Power System State Estimation: Parameter Error Detection Identification and Correction

2010 · 1-3838332350 — LAP Lambert Academic Publishing 2010. Paperback. New. 156 pages. 8.66x5.91x0.36 inches. LAP Lambert Academic Publishing paperback

Zum logischen Funktionsbegriffe des Wiener Kreises / Value and Thinking A Psychological Study

1939 · 007755 — Tokyo: Privately Printed 1939. The title page is INSCRIBED to: "Professor Alonzo Church Editor of The Journal of Symbolic Logic signed Katsumi Nakamura author of this book." SEE PHOTOS. Very Good condition. Clean and tight. Spine ends are mildly frayed. Pages are fresh crisp and unmarked. This book contains two papers. The first VALUE AND THINKING A PSYCHOLOGICAL STUDY pp. 1-155 is in Japanese except for an English title page. The second ZUM LOGISCHEN FUNKTIONSBEGRIFFE DES WIENER KREISES pp. 157-183 is in German. The binding is original brown cloth stamped in Japanese characters on the spine and front cover. This is almost certainly the very copy that Church used for his review of ZUM LOGISCHEN that was published in the JOURNAL OF SYMBOLIC LOGIC Vol. 6 No. 1 Mar. 1941 p. 36. It is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature. Unfortunately this copy does not. But please check our inventory for others that do. However Professor Church's handwriting does appears on the front cover where he penned the author's name and a title Zum logischen Funktionsbegriffe des Wiener Kreises and again on the spine author's name only. 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. Signed/Inscribed by the Author to Alonzo Church. First hardbound edition assumed. Hardcover. Very Good condition/No Jacket. 8vo. x 185pp. Great Packaging Fast Shipping. Privately Printed? Hardcover

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

1948 · 009130 — 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

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

1994 · 100132820 — Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.

The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History (Ideas in Context)

1999 · 100132818 — Cambridge University Press 1999 352 pages 15 95x2 34x23 6cm. 1999. Cartonné jaquette. 352 pages.

Il Circolo di Vienna e l’avvenire dell’empirismo logico.

Roma, Armando, 1977, 8vo brossura, pp. 111.

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

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

Optimization - A Theory of Necessary Conditions

1976 · Cyb-7228 — Princeton University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 437 pages

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

LOGIC, PROGRAMMING AND PROLOG.