Site indépendant de libraires professionnels

‎Logique‎

Main

Thèmes parents

‎Mathématiques‎
Nombre de résultats : 2 207 (45 Page(s))

Première page Page précédente 1 ... 27 28 29 [30] 31 32 33 ... 34 35 36 37 38 39 40 41 42 43 44 ... 45 Page suivante Dernière page

‎Sarte Jean Paul; Translated from the French by Eric Sutton‎

‎The Reprieve The Roads to Freedom II‎

‎New York: Alfred A. Knopf 1947. Fine condition in Fine Dust Jacket price clipped. No tears chips or creases. Fresh and crisp obviously never read. Not a book club edition. No remainder mark. No owner's name or bookplate. Square tight and unmarked. "First American Edition" is so stated on the copyright page. Slightly bowdlerized translation of LE SURSIS LES CHEMINS DE LA LIBERTE II Paris: Librairie Gallimard 1945. Douglas 345. Belkind 22. Contat/Rybalka 45/61t1. Keywords Existentialism. First Edition in English. Hardcover. Original blue cloth/Price Clipped Dust Jacket. Illus. by Chappell Warren jacket art. 8vo. vi 445pp. Alfred A. Knopf Hardcover‎

Référence libraire : 001459

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Livres de About Books]

29,61 € Acheter

‎Sarte Jean Paul; Translated from the French by Gerard Hopkins‎

‎Troubled Sleep The Roads to Freedom III; UK title: Iron in the Soul‎

‎New York: Alfred A. Knopf 1951. Near Fine condition in Very Good Dust Jacket light soil and rubbing but no tears chips or creases. Square tight and unmarked. Not a book club edition. No remainder mark. No owner's name or bookplate. "First American Edition" is so stated on the copyright page. Published in the UK as IRON IN THE SOUL. Translation of LA MORT DANS L'AME LES CHEMINS DE LA LIBERTE III Paris: Librairie Gallimard 1949. Belkind 23. Contat/Rybalka 49/179t2. Keywords: Existentialism. First American Edition. Hardcover. Original green cloth/Jacket's printed price is$3.50. Illus. by Chappell Warren jacket design. 8vo. vi 421pp. Alfred A. Knopf Hardcover‎

Référence libraire : 001482

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Livres de About Books]

16,88 € Acheter

‎Sarte Jean Paul; Translated from the French by Gerard Hopkins‎

‎Troubled Sleep The Roads to Freedom III; UK title: Iron in the Soul‎

‎New York: Alfred A. Knopf 1951. Fine condition in Near Fine Dust Jacket. No tears chips or creases. Pages are fresh and crisp probably never read. Not a book club edition. No remainder mark. No owner's name or bookplate. Square tight and unmarked. "First American Edition" is so stated on the copyright page. Published in the UK as IRON IN THE SOUL. Translation of LA MORT DANS L'AME LES CHEMINS DE LA LIBERTE III Paris: Librairie Gallimard 1949. Belkind 23. Contat/Rybalka 49/179t2. Keywords: Existentialism. First American Edition. Hardcover. Original green cloth/Jacket's printed price is$3.50. Illus. by Chappell Warren jacket design. 8vo. vi 421pp. Alfred A. Knopf Hardcover‎

Référence libraire : 001460

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Livres de About Books]

29,61 € Acheter

‎SARTI Christophori‎

‎Christophori Sarti in Academia Pisana Philosophiae Rationalis Artis Criticae ac Metaphysicae P. P. Dialecticarum Institutionum‎

‎1^ ediz., in 8°, pp. VIII, 240, leg. p/perg. coeva con tit. e fregi in oro al ds., tagli spruzz., marca tip. al front.; lievi fior. 239/33‎

MareMagnum

La Fenice
Sanremo, IT
[Livres de La Fenice]

80,00 € Acheter

‎SCARLATA G P‎

‎LINEAMENTI DI METALOGICA‎

‎INTONSO leggerissimi danni alla copertina‎

MareMagnum

Libreria Giorni
Firenze, IT
[Livres de Libreria Giorni]

17,90 € Acheter

‎Schérer René‎

‎"La phénoménologie des ""recherches logiques"" de Husserl - Collection épiméthée essais philosophiques."‎

‎Presses universitaires de France. 1967. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur acceptable. 370 pages - couverture jaunie.. . . . Classification Dewey : 160-Logique‎

‎Collection épiméthée essais philosophiques. Classification Dewey : 160-Logique‎

Référence libraire : R100051086

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Livres de Le-livre.fr / Le Village du Livre]

59,25 € Acheter

‎SCHUMACHER Christian‎

‎A Comprehensive Logic for Epistemic Propositional Attitudes‎

‎Berlin, 1994 216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789‎

Référence libraire : F108789

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Livres de Antiquariaat Pieter Judo (De Lezenaar)]

40,00 € Acheter

‎Schmidt (H. Arnold), Schutte (K.) and Thiele (H.-J.), eds. - P.H.G. Aczel - W.W. Boone - W. Haken and V. Poenaru - W.K. Burton - H.B. Curry - J. Diller - W. Felscher - R. Harrop - L. Hodes and E. Speckler - H. Lauchli - W. Obserschelp - D. Prawitz and P.-E. Malmnas - D. Siefkes G. Takeuti and M. Yasugi - Alfred Tarski - A.S. Troelstra‎

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎

Référence libraire : Cyb-6273

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Livres de Librairie Internet Philoscience]

20,00 € Acheter

‎Scholz Heinrich‎

‎Esquisse d'une histoire de la logique.‎

‎Aubier Éditions Montaigne. Collection "Analyses et raisons" , 1968 - In-8° , broché , ensemble en très bon état , 157 pages .‎

‎Très Bon Etat Port inclus dans le prix général. . Paiement immédiat par Paypal . Chèques et virement acceptés. Nous accompagnons toutes les étapes de vos achats.‎

Référence libraire : 6586

Livre Rare Book

Artlink
Saint-Haon-le-Vieux France Francia França France
[Livres de Artlink]

18,00 € Acheter

‎SCHLAUDT Oliver / SAKHRI Mohsen‎

‎Louis Courturat - Traité de logique algorithmique.‎

‎Birkhäuser Science autour de 1900 Around 2010 Birkhäuser, Publication des Archives Henri-Poincaré, 2010 (copyright), 317 p., cartonnage éditeur, environ 24x16cm. Dos un peu aplati vers le premier plat, coins légèrement frottés, des pages annotées au crayon à papier, 2 pages frottées avec atteinte au texte (mais lisible). Bon état pour le reste.‎

‎Introduction et appareil critique en anglais. Transcription du manuscrit en français. Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎

Référence libraire : 114836

Livre Rare Book

Librairie Diogène
Lyon France Francia França France
[Livres de Librairie Diogène]

75,00 € Acheter

‎SCHOENFIELD (Joseph R.)‎

‎Mathematical logic‎

‎Reading, Addison-Wesley, 1967. 715 g In-8, reliure éditeur, vii-[1]-344 pp.. Frottements. . (Catégories : Mathématiques, Logique, )‎

Référence libraire : 10342

Livre Rare Book

Christophe Hüe - Livres Anciens
Paris France Francia França France
[Livres de Christophe Hüe - Livres Anciens]

20,00 € Acheter

‎SCHMIDT Robert W. S.J.‎

‎The Domain of Logic according to Saint Thomas Aquinas‎

‎The Hague, Martinus Nijhoff 1966 xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898‎

Référence libraire : F104898

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Livres de Antiquariaat Pieter Judo (De Lezenaar)]

65,00 € Acheter

‎Schmid (Marie-Françoise) sur Henri Poincaré‎

‎Une philosophie de savant - Henri Poincaré et la logique mathématique‎

‎François Maspéro , Algorithme Malicorne sur Sarthe, 72, Pays de la Loire, France 1978 Book condition, Etat : Très Bon broché, sous couverture imprimée à rabats éditeur verte, illustrée d'une figure d'un rouage de machine In-8 1 vol. - 175 pages‎

‎1ere édition, 1er tirage, 1978 "Contents, Chapitres : Introduction - 1. Les mathématiques : Mathématiques et expérience - Mathématique et logique - Mathématique et langage - 2. La géométrie - 3. La mécanique et la physique : Mécanique et géométrie - Mécanique et physique - La physique - 4. La philosophie - 5. Le fait et l'exemple : La stratégie - L'intégration - 6. Critique de la logique mathématique : Les ""vraies mathématiques"" - Poincaré face à la crise des fondements des mathématiques, 1905-1912 - Conclusion et bibliographie - Selon Wikipedia : ""Pendant les six dernières années de sa vie (à partir de 1905), Poincaré participe activement aux débats sur les fondements qui traversaient à l'époque la communauté mathématique. Il n'a jamais essayé d'y contribuer sur le plan technique, mais certaines de ses idées ont eu une influence indéniable. L'un de ses contradicteurs, Bertrand Russell, écrira en 1914 : « Il n'est pas possible d'être toujours juste en philosophie ; mais les opinions de Poincaré, justes ou fausses, sont toujours l'expression d'une pensée puissante et originale, servie par des connaissances scientifiques tout à fait exceptionnelles ». Entre autres, à cause de son refus d'accepter l'infini actuel, cest-à-dire la possibilité de considérer l'infini comme une entité achevée et non simplement comme un processus qui peut se prolonger arbitrairement longtemps, Poincaré est considéré par beaucoup d'intuitionnistes comme un précurseur. Poincaré n'a cependant jamais remis en cause le tiers exclu, et rien n'indique qu'il aurait pu adhérer à une refondation aussi radicale des mathématiques que celle que proposera Luitzen Egbertus Jan Brouwer. La position de Poincaré a évolué. Dans une période précédente, il s'est intéressé aux travaux de Georg Cantor, dont les travaux sur la construction des réels et la théorie des ensembles s'appuient de façon essentielle sur un infini actuel, au point de superviser la traduction en français d'une partie des articles de ce dernier (en 1871, 1883), et d'utiliser ses résultats dans son mémoire sur les groupes kleinéens (1884). Il s'intéresse également aux travaux de David Hilbert sur l'axiomatisation : il fait, en 1902, une recension soignée et très louangeuse des Fondements de la géométrie (1899). En 1905 et 1906, Poincaré réagit, de façon assez polémique, à une série d'articles de Louis Couturat sur les « principes des mathématiques » dans la Revue de métaphysique et de morale, articles qui rendaient compte des Principles of Mathematics de Bertrand Russell (1903). Russell finira par intervenir lui-même dans le débat""." papier à peine jauni, sinon bel exemplaire, frais et propre‎

Référence libraire : Cyb-7264

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Livres de Librairie Internet Philoscience]

10,00 € Acheter

‎Schaff, Adam‎

‎Introduzione alla Semantica‎

‎Mm 120x185 Collana "Nuova Biblioteca di Cultura" - Volume in copertina rigida originale, 361 pagine. Ottima copia, spedizione in 24 ore dalla conferma dell'ordine.‎

MareMagnum

Salvalibro Snc
Foligno, IT
[Livres de Salvalibro Snc]

8,00 € Acheter

‎Scheutz, Georg‎

‎Scheutz. La Macchina alle Differenze. Un Secolo di Calcolo Automatico.‎

‎Mm 185x240 Testo a cura e con introduzione di Mario G. Losano. Volume rilegato in tela con titolo impresso al piatto, sopracoperta figurata a colori con leggere tracce d'uso, 192 pagine con 24 tavole in nero non comprese nel testo. Libro in buone-ottime condizioni, spedizione in 24 ore dalla conferma dell'ordine.‎

MareMagnum

Salvalibro Snc
Foligno, IT
[Livres de Salvalibro Snc]

35,00 € Acheter

‎SCHILPP Paul Arthur (a c. di) su CARNAP‎

‎La FILOSOFIA di Rudolf CARNAP. Opera completa dei 2 volumi.‎

‎2 volumi in-8° (cm. Edizione italiana a cura di Maria Grazia De Cristofaro Sandrini. Traduzioni di Fabrizio Bercelli, Paolo Gambazzi, Alberto Meotti, Fabrizio Mondadori, Michele Pacifico, Pier Aldo Rovatti. 2 voll. in-8° (cm. 21,5), complessive pp. XVI. 1161. Cartoncino leggero editoriale, sovraccoperte. La prima parte dell'opera è occupata da un'ampia autobiografia di Rudolf Carnap, che fornisce materiali inediti su alcuni dei momenti principali di sviluppo dell'empirismo logico, oltre a dare un quadro chiaro e preciso, filosoficamente motivato, del suo sviluppo intellettuale. In fine, bibliografia completa degli scritti di Rudolf Carnap, aggiornata per l'edizione italiana fino al 1973, con un elenco delle recensioni a tali scritti. Indice analitico. Volumi N. 37, 1 e 2 della Biblioteca di filosofia e metodo scientifico. Opera di enorme portata. COME NUOVI.‎

‎SCHIRN Matthias.‎

‎IDENTITAT UND SYNONYMIE. Logisch-semantische Untersuchungen unter Berücksichtigung der sprachlichen Verständigungspraxis.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Livres de Libreria Anticuaria Jerez]

5,38 € Acheter

‎SCHMIDT Robert W. S.J.‎

‎The Domain of Logic according to Saint Thomas Aquinas‎

‎xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898‎

‎SCHONFINKEL M. MOSES + HILBERT DAVID. FOUNDING COMBINATORIAL LOGIC.‎

‎�ber die Bausteine der mathematischen Logik. Hilbert: Die Grundlagen der Physik.‎

‎Julius Springer Berlin 1924. 8vo. Bound with the original front wrapper in contemp. full cloth with gilt lettering to spine. Top of spine worn. In "Mathematische Annalen 92 Band. 2 316 pp. Entire volume bound together with volume 91 offered. Sch�nfinkel's paper: pp. 305-316. Hilbert's paper: pp. 1-32 � Both papers first printing. <br>Sch�nfinkel's paper is the founding work of combinatory logic later called the lambda-calculus by Church. It is a fundamental systems of logic based on the concept of ageneralized function whose argument is also a function. It has a relatively small finite number of atoms and elementary rules. Despite the fact that the system contains no formal variables it can be used for doing anything that can be done with variables in more usual systems. Its details were developed by Curry.<br><br>First printing of Hilbert's important contribution to the unification of gravitational theory and electrodynamics. Hilbert stated that the present paper essentially was a reprint with insignificant alterations. This is however not entirely true as several Hilbert biographers have pointed out that this version contain "major conceptual adjustments and a recognition of its deductive structure" Renn The Genesis of General Relativity p.930. <br><br>".it was Hilbert's aim to give not just a theory of gravitation but an axiomatic theory of the world. This lends an exalted quality to his paper from the title 'Die Grundlagen der Physik' The Foundations of Physics to the concluding paragraph in which he expressed his conviction that his fundamental equations would eventually solve the riddles of atomic structure" Pais: Subtle is the Lord pp. 257-258. <br>In Hilbert's 1915-paper he falsly believed that electromagnetism was essentially a gravitational phenomenon. "These and other errors are expurgated in an article Hilbert wrote in 1924 the paper offered. It is again entitled 'Die Grundlagen der Physik' and contains a synopsis of his 1915 paper and a sequel to it written a year later. Hilbert's collected works each volume of which contains a preface by Hilbert himself does not include these two early papers but only the one of 1924" Pais Subtle is the Lord� p. 258 hardcover‎

Référence libraire : 47433

Biblio.com

Lynge & Son
Denmark Dinamarca Dinamarca Danemark
[Livres de Lynge & Son]

470,05 € Acheter

‎SCHUMACHER Christian‎

‎A Comprehensive Logic for Epistemic Propositional Attitudes‎

‎216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789‎

‎SCHURMANN Franz‎

‎LA LOGICA DEL POTERE. Le origini, le correnti e le contraddizioni della politica mondiale. Traduzione di Carla De Leonardis. Introduzione di Alberto Martinelli.‎

‎In-8 (cm. 21), brossura (macchioline), pp. XIX, (1), 663, (5). Prima edizione italiana. In buono stato di conservazione (good copy).‎

‎Schwartz, Laurent‎

‎Un Mathématicien Aux Prises Avec Le Siècle‎

‎Mm 155x240 Brossura editoriale di 528 pagine. Esemplare in ottime condizioni. Testo in francese - french text. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.‎

MareMagnum

Salvalibro Snc
Foligno, IT
[Livres de Salvalibro Snc]

25,00 € Acheter

‎Schwenkel Frieder from the library of Alonzo Church‎

‎Semantische Theorie der Programmsprachen Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften‎

‎Stuttgart: Karl Mayer 1966. Very Good condition. 14.5 cm x 21 cm. A solid copy -- square and tight. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. Ph.D. thesis in German on semantic theory of the programming languages. Full title: "Semantische Theorie der Programmsprachen Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften der Mathematisch-naturwissenschaftlichen Fakult�t der Eberhard-Karls-Universit�t zu T�bingen." Schwenkel's faculty advisors for this dissertation were Karl Zeller and Hellmuth Kneser. Schwenkel went on to become a professor at the University of Hamburg where among other things he was involved in programming/design of chess computers. When Schwenkel published his REKURSIVE WORTFUNKTIONEN UBER UNENDLICHEN ALPHABETEN it was Alonzo Church who reviewed it in his JOURNAL OF SYMBOLIC LOGIC Volume 40 Issue 4 1975 621-622. 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 1. Auflage. Softcover. Very Good condition. viii 113pp. Great Packaging Fast Shipping. Karl Mayer Paperback‎

Référence libraire : 009127

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Livres de About Books]

126,91 € Acheter

‎Sconosciuto‎

‎LOGICA elementare, cioè primi principi dell'ARTE del RAGIONARE.‎

‎In - 8° (cm. 21,2x12,7), pp. [2], 166, [2]. Modesta legatura in carta decorata di ricupero coeva (gore). Esemplare genuino, nella sua solida cucitura originale, mancanze alla carta di copertura del dorso. Fresco e pulito l'interno in forte carta nelle sue barbe. Logica naturale ed artifiziale. Sensi idea immaginaz., attenzione riflessione discernimento astrazione idee (avventizie fattizie innate; di sostanza qualità specie genere, differenza). Gradi metafisici. Termini. Giudizio. vari tipi di proposizione. Definizione. Divisione. Sofisma. Verità. Errore. Pregiudizio. Fanatismo. Metodo. Principio. Uso degli assiomi. Argomentazione dialettica ed oratoria. Rarissima ed. settecentesca vercellese, per ora censita solo all'Acc. d. Scienze di Torino.‎

‎Scotland International Workshop on Field Programmable Logic and Applications 9th : 1999 : Glasgow; Herbert Grunbacher; Reiner W.‎

‎Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping Lecture Notes in Computer Science‎

‎Springer-Verlag 1993-08. Paperback. Good. Springer-Verlag paperback‎

Référence libraire : SONG0387570918 ISBN : 0387570918 9780387570914

Biblio.com

Ergodebooks
United States Estados Unidos Estados Unidos États-Unis
[Livres de Ergodebooks]

76,23 € Acheter

‎Sebestik (Jan) sur Bernard Bolzano‎

‎Logique et mathématique chez Bernard Bolzano , dans la collection L'Histoire des Sciences, Textes et Etudes‎

‎Librairie Philosophique J. Vrin , L'Histoire des Sciences, Textes et Etudes Malicorne sur Sarthe, 72, Pays de la Loire, France 1992 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche, illustrée d'une figure grand In-8 1 vol. - 522 pages‎

‎1ere édition, 1992 Contents, Chapitres : Chronologie, avant-propos, introduction - 1. A la recherche des fondements : Le rationalisme en géométrie - Aux sources de la topologie - La notion de continuité - L'arithmétisation de l'analyse - 2. Logique et théorie de la science : Les objets logiques - Logique des représentations - Logique de la variation - Architecture des théories - Théorie de la science proprement dite - 3. Le système mathématique : Objet et division de la mathématique - La doctrine des ensembles - Les grandeurs et les nombres - La construction des nombres réels - Théorie des fonctions de variables réelles - 4. Les chemins de l'infini - Conclusion - Bibliographie détaillée - Lexique - Index détaillés et table - Bernard Bolzano (5 octobre 1781 18 décembre 1848), de son nom complet Bernhard Placidus Johann Nepomuk Bolzano, est un mathématicien, logicien, philosophe et théologien né et mort à Prague. Fils dune germanophone et dun émigré dItalie en Bohême, alors dans lEmpire dAutriche, Bolzano a rédigé toutes ses uvres en allemand. L'influence de ses ouvrages philosophiques est importante, tout comme ses découvertes en mathématiques. Il a donné son nom à deux théorèmes. - Bolzano est souvent considéré comme un des fondateurs de la logique moderne. Dans sa Théorie de la science de 1837, il essaie de fournir des fondements logiques à toutes les sciences, construites à partir d'abstractions, d'objets abstraits, d'attributs, de constructions, de démonstrations, de liens La plupart de ces tentatives retracent ses travaux précédents concernant la relation objective entre les conséquences logiques (les choses telles qu'elles se produisent) et notre perception purement subjective de ces conséquences (notre façon d'aborder les évènements). Il se rapproche ici de la philosophie des mathématiques, comme dans ses Beiträge de 1810. Pour Bolzano, nous n'avons aucune certitude quant aux vérités, ou supposées comme telles, de la nature ou des mathématiques, et c'est justement le rôle des sciences, pures comme appliquées, que de trouver une justification des vérités (ou des lois) fondamentales, qui se trouvent le plus souvent en contradiction avec nos intuitions. (source : Wikipedia) couverture à peine jaunie sans gravité, sinon bel exemplaire, intérieur frais et propre de cette étude magistrale sur Bolzano, un des ouvrages de référence en langue française‎

Référence libraire : Cyb-7287

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Livres de Librairie Internet Philoscience]

25,00 € Acheter

‎Segond (J.)‎

‎Hasard et contingence , dans la série Logique et Méthodologie, exposés publiés sous la direction de Thomas Greenwood, n° 4, A.S.I. n° 628‎

‎Hermann et Cie , Actualités Scientifiques et Industrielles Malicorne sur Sarthe, 72, Pays de la Loire, France 1938 Book condition, Etat : Bon broché, sous couverture imprimée éditeur marron grand In-8 1 vol. - 67 pages‎

‎1ere édition Contents, Chapitres : La notion de hasard - Les deux formes du nécessaire - Déterminisme et jeux de hasard - La logique du contingent infime petite tache sur le bas du plat supérieur de la couverture, dos à peine frotté sur 1 cm, sinon tres bon état, intérieur tres frais, papier à peine jauni‎

Référence libraire : Cyb-4576

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Livres de Librairie Internet Philoscience]

8,00 € Acheter

‎Sellars Wilfrid from the library of Alonzo Church‎

‎Mental Events‎

‎Dordrecht Holland / Boston U.S.A.: D. Reidel Publishing 1981. Near Fine condition. 15 cm x by 23 cm. A very nice copy but for a little age-toning to the front wrapper. NO underlining. NO highlighting. NO margin notes. Metaphysics of Epistemology. Metaphilosophy. This is an offprint of MENTAL EVENTS by the influential American philosopher Wilfrid Stalker Sellars 1912-1989. It originally appeared in PHILOSOPHICAL STUDIES 39 1981 pp. 325-345. This offprint i.e. a reproduction of an article that was originally contained in a larger publication appears to have been produced by the original publisher D. Reidel and has a printed price of $2.10. 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. offprint. Softcover stapled wraps. Near Fine condition. pp. 325-345. Great Packaging Fast Shipping. D. Reidel Publishing Paperback‎

Référence libraire : 009076

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Livres de About Books]

55,00 € Acheter

‎SERRUS Charles‎

‎Essai sur la signification de la logique‎

‎Paris, F.Alcan 1939 157pp., br., dans la série "Nouvelle encyclopédie philosophique", qqs.estampes, bon état‎

Référence libraire : F34890

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Livres de Antiquariaat Pieter Judo (De Lezenaar)]

20,00 € Acheter

‎SERRUS (Charles).-‎

‎Essai sur la signification de la logique.‎

‎P., PUF, 1939, in 12 broché, 157 pages.‎

‎...................... Photos sur demande ..........................‎

Référence libraire : 44331

‎SERGANT M.C.‎

‎Taal en Logica (Openbare les uitgesproken bij de aanvaarding van het ambt van buitengewoon lector in d elogica aan de R.U.Groningen op 1 maart 1971)‎

‎, Baarn, Het Wereldvenster 1971, 19pp., 2e dr., gesigneerd, F19360‎

Référence libraire : F19360

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Livres de Antiquariaat Pieter Judo (De Lezenaar)]

13,00 € Acheter

‎SERRUS CHARLES‎

‎TRAITE DE LOGIQUE‎

‎AUBUER. 1945. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 381 pages.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Référence libraire : R320052772

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Livres de Le-livre.fr / Le Village du Livre]

49,50 € Acheter

‎Serrus Claude‎

‎Traité de logique.‎

‎Aubier éditions Montaigne. 1945. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Quelques rousseurs. 381 pages - papier jauni.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Référence libraire : R160218171

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Livres de Le-livre.fr / Le Village du Livre]

49,50 € Acheter

‎SERGANT M.C.‎

‎Taal en Logica (Openbare les uitgesproken bij de aanvaarding van het ambt van buitengewoon lector in d elogica aan de R.U.Groningen op 1 maart 1971)‎

‎Baarn, Het Wereldvenster 1971, 19pp., 2°dr., gesigneerd‎

‎SERRUS Charles‎

‎Essai sur la signification de la logique‎

‎157pp., br., dans la série "Nouvelle encyclopédie philosophique", qqs.estampes, bon état‎

‎Shanker (S.G.) sur Kurt Godel - John W. Dawson - Stephen C. Kleene - Solomon Feferman - Michael D. Resnik - Michael Detlefsen on Wittgenstein‎

‎Godel's Theorem in Focus , (Kurt Gödel in sharper focus - On formally undecidable propositions of Principia Mathematica and related systems I (1931) - The work of Kurt Godel - The reception of Godel's incompleteness theorems - Kurt Godel : Conviction and caution - On the significance of consistency proofs - On interpreting Godel's second theorem -Wittgenstein's remarks on the significance of Godel's theorem)‎

‎Routledge, London and New York , Philosophers in Focus Series Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Très Bon paperback, editor's full yellow and grey printed wrappers In-8 1 vol. - 270 pages‎

‎reprinted edition, 1989 Contents, Chapitres : Contents, Preface, Acknowledgments, ix, Text, 261 pages - John W. Dawson : Kurt Gödel in sharper focus - Kurt Godel : On formally undecidable propositions of Principia Mathematica and related systems I (1931) - Stephen C. Kleene : The work of Kurt Godel - John J. Dawson : The reception of Godel's incompleteness theorems - Solomon Feferman : Kurt Godel : Conviction and caution - Michael D. Resnik : On the significance of consistency proofs - Michael Detlefsen : On interpreting Godel's second theorem - S.G. Shanker : Wittgenstein's remarks on the significance of Godel's theorem - Index near fine copy, no markings‎

Référence libraire : Cyb-7301

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Livres de Librairie Internet Philoscience]

12,00 € Acheter

‎Shoenfield Joseph Robert‎

‎Mathematical logic by Joseph R. Shoenfield‎

‎Reading Mass.: Addison-Wesley Pub. Co. 1967. Ex-Library. Hardcover. Good/None. Addison-Wesley series in logic Orange cloth boards with gilt titling on spine. Binding is sound though leaning slightly back. Some underlining of text only up to pg. 35. Uncut page edges at index. Owner's name on ffep along with faded gray price stamp. Page edges are lightly toned and with a couple brown spots on long edge also spots on very edge of front pastedown. 8vo. BOOK INFO: 'I have collected the principal results in what seem to me to be the central topics of mathematical logic: proof theory model theory recursion theory axiomatic number theory and set theory. This volume is essentially an expansion of a set of notes for a course in mathematical logic offered several times at Duke University since 1958. It is somewhat more than I usually cover ina one-year course. A knowledge of the simplest properties of natural numbers real numbers and sets and a slight acquantance with modern algebra should be sufficient. Some of the problems require acquaintance with more advanced topics.' -from the preface by the author Addison-Wesley Pub. Co. hardcover‎

Référence libraire : 15032

Biblio.com

Quadrant Book Mart
United States Estados Unidos Estados Unidos États-Unis
[Livres de Quadrant Book Mart]

18,19 € Acheter

‎Shoenfield, Joseph R‎

‎Mathematical logic‎

‎Reading, Mass. [u.a.]: Addison-Wesley. 1967. 344 Seiten. 24cm. Zustand: Gut min. gebräunt, Titelblatt wurde hier entfernt (Innen); Besitzerstempel; Einband (Außen) hat leichte Gebrauchsspuren; Archivex. mit Klebestreifenrest (Außen); Schutzumschlag fehlt, oder es gibt keinen; Hardcover oder Leinen‎

Référence libraire : 582598

‎SHOESMITH D. J. & T. J. SMILEY. FIRST PRESENTATION OF MULTIPLE CONCLUSION LOGIC‎

‎Multiple-conclusion Logic.‎

‎Cambridge Cambridge Univ. Press 1978. 8vo. Orig. full cloth in orig. dust jacket w. minor taning to top. In fine condition internally mint. XIII396 pp. � First edition of the first presentation of multiple-conclusion logic.<br>The authors D. J. Shoesmith and T. J. Smiley "in surveying the multiple consequences of taking multiple consequence seriously have taken a huge first step in founding a new branch of the subject i.e. logic. Their book provides a solid conceptual foundation and a wealth of results whose breadth and dept has hardly any equal" Phil. Qual. Vol. 30 Nr. 121 p. 379. hardcover‎

Référence libraire : 32769

Biblio.com

Lynge & Son
Denmark Dinamarca Dinamarca Danemark
[Livres de Lynge & Son]

335,75 € Acheter

‎SIHÂBEDDIN ES-SÜHREVERDÎ [EL-MAKTÛL], (?-1191).‎

‎Hikmetü'l-isrâk. Translated by Eyüp Bekiryazici, Üsmetullah Sami.‎

‎New English Original bdg. HC. Roy. 8vo. (24 x 17 cm). In Turkish and facsimile in Arabic. 634 p. A very heavy volume. Hikmetü'l-isrâk. Translated by Eyüp Bekiryazici, Üsmetullah Sami. Facsimile and Turkish translation of manuscript Topkapi Palace Museum Library, III. Ahmed Collection, No. 3267. ISLAM Tasavvuf Sufism Anatolian Islam Isrâkiyye - Ishrakiyya school Islamic philosophy Criticism Critics Logic Aristoteles Messâi Mead Epistemology Cosmology Psychology Ontology Fi'l-Envâri'l-ilâhiyye ve nûrü'l-envâr ve mebâdi'ü'l-vücûd ve tertîbühâ Heterodoxy.‎

‎SIMONDO Piero (a c. di)‎

‎L'ALBA della LOGICA. IL PENSIERO LOGICO GRECO: testi e interpretazioni.‎

‎In-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.‎

‎Simone Malacrida‎

‎Logica matematica‎

‎br.‎

‎Simposio de Logica y de la Ciencia 5th : 1974 : Valencia‎

‎Aspectos de la filosof�a de W. V. Quine : actas del V Simposio de L�gica y Filosof�a de la Ciencia Cullera 23 y 29 de junio de 1974‎

‎Valencia: Departamento de L�gica y Filosof�a de la Ciencia Universidad de Valencia 1976. Paperback. Ex-lib with minimal markings; else tight and clean. Appears to have never been read. Spine sunned. Octavo in red printed glossy wraps; xiv 168 p. : ill. ; 22 cm ; bibliographical references. In Spanish. Uncommon. Teorema ; numero monografico 1975. Philosophy -- Congresses. Quine W. V. Willard Van Orman -- Congresses. <br/><br/> Departamento de L�gica y Filosof�a de la Ciencia, Universidad de Valencia paperback‎

Référence libraire : 14087

Biblio.com

Calvello Books (formerly Owl & Company Bookshop)
United States Estados Unidos Estados Unidos États-Unis
[Livres de Calvello Books (formerly Owl & Company Bookshop)]

16,45 € Acheter

‎Simpson Thomas Moro signed; Inscribed to Professor Alonzo Church‎

‎Sem�ntica filos�fica: problemas y discusiones signed‎

‎Buenos Aires: Siglo XXI 1973. Inscribed by the author: "To Professor Alonzo Church with admiration and gratitude signed Thomas M. Simpson Bs. As. 10/5/73." Good condition. 13.5 cm x 20 cm. Spine has several reading creases. Errata slip laid-in. Bound in the original white pictorial wrappers. 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 including this one contain a presentation inscription to him. 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 by the AUTHOR. Primera edicion en espanol. Softcover. Good condition. xvii 476pp. Great Packaging Fast Shipping. Siglo XXI Paperback‎

Référence libraire : 005865

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Livres de About Books]

380,74 € Acheter

‎Simpson, R. L.‎

‎Essentials of Symbolic Logic‎

‎193 pages. "Addressing major areas of symbolic logic without producing a volume of forbidding lenght and complexity, the author has produced an innovative textbook that neither the teacher nor the student can afford to miss." - R.L. Simpson, Camosun College. Usual markings to contents. Above average wear and soiling. Good working copy. Book‎

‎Skordev, Dimiter G. (Hrsg)‎

‎Mathematical Logic and its Applications.‎

‎New York, London, Plenum Press (1987). 8°. XIV, 371 S. OPappbd. Ecken leicht bestoßen.‎

Référence libraire : MATH0274

‎Skyrms Distinguished Professor of Logic and Philosophy of Science and Economics Brian‎

‎Einfuehrung in Die Induktive Logik‎

‎Peter Lang Gmbh Internationaler Verlag Der Wissenschaften 1989. Paperback. New. 1st edition. 345 pages. German language. 8.31x5.87x0.83 inches. Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften paperback‎

Référence libraire : __3631415575 ISBN : 3631415575 9783631415573

Biblio.com

Revaluation Books
United Kingdom Reino Unido Reino Unido Royaume-Uni
[Livres de Revaluation Books]

79,22 € Acheter

‎Smith (Peter) on Kurt Godel‎

‎An Introduction to Gödel's Theorems , Cambridge Introductions to Philosophy‎

‎Cambridge University Press , Cambridge Introductions to Philosophy Malicorne sur Sarthe, 72, Pays de la Loire, France 2008 Book condition, Etat : Très bon paperback, editor's red and yellow wrappers, illustrated by a multicolor illustration grand In-8 1 vol. - 375 pages‎

‎many black and white text-figures 2nd reprinted edition, 2008 Contents, Chapitres : Contents, Preface, xiv, Text, Further reading, Bibliography, Index, 361 pages - What Gödel's theorems say Decidability and enumerability Axiomatized formal theories Capturing numerical properties - The truths of arithmetic - Sufficiently strong arithmetics Interlude : Taking stock - Two formalized arithmetics What Q can prove - First-order Peano arithmetic - Primitive recursive functions Capturing p.r. functions - Q is p.r. adequate Interlude : A very little about principia - The arithmetization of syntax PA is incomplete - Gödel's first theorem Interlude : about the first theorem Strengthening the first theorem The diagonalization Lemma Using the diagonalization lemma Second-order arithmetics - Interlude : Incompleteness and Isaacsons conjecture - Gödel's second theorem for PA The derivability conditions Deriving the derivability conditions Reflections - Interlude : About the second theorem µ-recursive functions Undecidability and incompleteness Turing machines Turing machines and recursiveness Halting problem The church-turing thesis Proving the thesis ? - Looking back near fine copy, no markings‎

Référence libraire : Cyb-7335

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Livres de Librairie Internet Philoscience]

20,00 € Acheter

‎Smith, Denis‎

‎Bleeding Hearts... Bleeding Country: Canada and the Quebec Crisis‎

‎177 pages. "Takes us as far as rationality can in a consideration of October, 1970... picks apart, with considerable flair and logic, the reasoning behind the activities of Ottawa and Montreal... the sort of analysis that justifies the existence of a nations' intelligentsia as a critical force." - Dennis Duffy. Covers faded. Rubber stamps inside front cover and upon half-title page. Contents clean, tight and square. Good working copy. Book‎

‎SMULLYAN RAYMOND‎

‎LES ENIGMES DE SHEHERAZADE OU COMMENT UNE MALICIEUSE PRINCESSE VIENT A BOUT DE 200 QUESTIONS DE LOGIQUE ET DE MATHEMATIQUE.‎

‎FLAMMARION. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 218 pages.. . . . Classification Dewey : 160-Logique‎

‎Traduction de Willem van den Brul . Classification Dewey : 160-Logique‎

Référence libraire : R240101405 ISBN : 2080355643

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Livres de Le-livre.fr / Le Village du Livre]

29,80 € Acheter

Nombre de résultats : 2 207 (45 Page(s))

Première page Page précédente 1 ... 27 28 29 [30] 31 32 33 ... 34 35 36 37 38 39 40 41 42 43 44 ... 45 Page suivante Dernière page