Portal independiente de libreros profesionales

‎Lógica‎

Main

Padres del tema

‎Matemáticas‎
Número de resultados : 2,222 (45 Página(s))

Primera página Página anterior 1 ... 18 19 20 [21] 22 23 24 ... 26 28 30 32 34 36 38 40 42 44 ... 45 Página siguiente Ultima página

‎Klir George J‎

‎An Approach to General Systems Theory‎

‎New York: Van Nostrand Reinhold Company 1969. A square tight copy. The Dust Jacket is lightly rubbed at the corners. No owner's name or bookplate. No remainder mark. No underlining. No highlighting. No margin notes. Bound in the original maroon cloth lettered/decorated in white and yellow. Illustrated with diagrams and figures throughout. Eight appendices Glossary of Symbols; Glossary of Terms; Summary of the Basic Definitions of the System; Definitions of the Concept of "System" Compiled from Literature; Complete Set of Logic Functions; Solution of Boolean Equations; Answers to Selected Problems; A Guide to the Literature. Bibliographical references. Index. First printing with complete number row 123456 on the copyright page. . First Printing of the First Edition. Hard Cover. Very Good condition./Very Good dust jacket. 8vo. xii 323pp. Van Nostrand Reinhold Company Hardcover‎

Referencia librero : 004697

Biblio.com

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

€37.19 Comprar

‎Kosko, Bart‎

‎Il fuzzy-pensiero. Teoria e applicazioni della logica fuzzy (I Nani)‎

‎Collana I Nani, Vita matematica. Le sfumature di grigio nella matematica e nella logica.‎

‎KOTARBINSKI Tadeusz‎

‎Leçons sur l'histoire de la logique‎

‎Paris, Presses Universitaires de France, "Bibliothèque de philosophie contemporaine", 1964, 13,5 x 22, 388 pages cousues sous couverture imprimée.‎

‎Très bon état.‎

Referencia librero : PHILOSOPH47859631221

Livre Rare Book

Le Plaisir du Texte
Lyon France Francia França France
[Libros de Le Plaisir du Texte]

€45.00 Comprar

‎Koyré (Alexandre) on Bertrand Russell‎

‎Manifold and Category - Offprint Reprinted from Philosophy and Phenomenological Research, volume IX, n° 1, Sepetmber 1948 , (about the Russellian Paraxodes of Impredicable)‎

‎Philosophy and Phenomenological Research Malicorne sur Sarthe, 72, Pays de la Loire, France 1948 Book condition, Etat : Bon paperback, original editor's yellow printed stapled wrappers, with specific title In-8 1 vol. - 20 pages‎

‎1st edition, 1948 Contents, Chapitres : About the so-called Russellian paraxodes of impredicable (Not predicable of one's self), and of the class of all classes that do not contain themselves as their own elements (Bertrand Russell, Principles of Mathematics) - Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles (Russell lui-même parle de théorie des classes, en un sens équivalent), qui a joué un rôle important dans la formalisation de celle-ci. Il fut découvert par Bertrand Russell vers 1901 et publié en 1903. Il était en fait déjà connu à Göttingen, où il avait été découvert indépendamment par Ernst Zermelo, à la même époque, mais ce dernier ne l'a pas publié. - On peut formuler le paradoxe ainsi : l'ensemble des ensembles n'appartenant pas à eux-mêmes appartient-il à lui-même ? Si on répond oui, alors, comme par définition les membres de cet ensemble n'appartiennent pas à eux-mêmes, il n'appartient pas à lui-même : contradiction. Mais si on répond non, alors il a la propriété requise pour appartenir à lui-même : contradiction à nouveau. On a donc une contradiction dans les deux cas, ce qui rend paradoxale l'existence d'un tel ensemble. (source : Wikipedia) near fine copy , offprint paginated 1 to 20, no markings, paper very lightly yellowing, a rather nice copy‎

Referencia librero : Cyb-7296

Livre Rare Book

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

€12.00 Comprar

‎Kozy John; from the library of Alonzo Church‎

‎Understanding Natural Deduction : A Formalist Approach to Introductory Logic from the library of Alonzo Church‎

‎Encino California: Dickenson Publishing Company Inc 1974. Very Good condition. 15 cm wide by 23 cm tall. A tight copy. The spine is square and flat with NO creases. Pages are clean and crisp. NO underlining. NO highlighting. NO margin notes. Contains a preface and four major sections: 1 Foundations; 2 Propositional Logic; 3 Monadic Predicate Logic; 4 Invalidity and Unsoundness Three extensive appendices: a General Predicate Logic and Relations; b The Language of Traditional Logic; c An Essay on Informal Reasoning. Index. First printing with complete number row 10 987654321 on the copyright page. 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. However written in pencil on the front cover are two words: "Personal copy" in what appears to be Professor Church's handwriting. 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 Printing of the First Edition. Softcover. Very Good condition. ix 236pp. Great Packaging Fast Shipping. Dickenson Publishing Company, Inc Paperback‎

Referencia librero : 009051 ISBN : 0822101289 9780822101284

Biblio.com

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

€27.88 Comprar

‎Krajicek (Jan)‎

‎Bounded Arithmetic, Propositional Logic, and Complexity Theory‎

‎Cambridge, University Press , Encyclopedia of Mathematics and its Applications Malicorne sur Sarthe, 72, Pays de la Loire, France 1995 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 357 pages‎

‎1st Edition Contents, Chapitres : Contents, Prefaces, Acknowledgments, xiv, Text, 343 pages - Basic complexity theory - Basic propositional logic - Basic bounded arithmetic - Definability of computation - Witnessing theorems - Definability and witnessing in second order theories - Translations of arithmetic formulas - Finite axiomatizability problem - Direct independence proofs - Bounds for constant-depth Frege systems - Bounds for Frege and extended Frege systems - Hard tautologies and optimal proof systems - Strength of bounded arithmetic Near fine copy, no markings‎

Referencia librero : Cyb-7227

Livre Rare Book

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

€35.00 Comprar

‎KREJTMAN (Charles).-‎

‎Pour Descartes. Le processus logique de la pensée confuse.‎

‎P., Albin Michel (Collection "Meta"),1982, in 8° broché, 145 pages ; rares annotations au crayon.‎

‎PHOTOS sur DEMANDE. ...................... Photos sur demande ..........................‎

Referencia librero : 20339

‎KRETZMANN Norman & STUMP Eleonore (eds.)‎

‎Logic and the philosophy of language‎

‎viii + 531pp., 23cm., in the series "The Cambridge translations of medieval philosophical texts" vol.1, previous owner's name on first page, softcover, VG, ISBN 0-521-28063-X, [English translation]‎

‎KRETZMANN Norman & STUMP Eleonore (eds.)‎

‎Logic and the philosophy of language‎

‎Cambridge, Cambridge University Press 1993 viii + 531pp., 23cm., in the series "The Cambridge translations of medieval philosophical texts" vol.1, previous owner's name on first page, softcover, VG, ISBN 0-521-28063-X, [English translation]‎

Referencia librero : F66455

Livre Rare Book

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

€40.00 Comprar

‎KRIPKE SAUL A. KRIPKE MODELS FOR MODAL LOGIC‎

‎A Completeness Theorem in Modal Logic. In: The Journal of Symbolic Logic. Edited by Alonza Church Leon Henkin S.C. Kleene Alice A. Lezerowitz & Alfons Borgers. Volume 24 Number 1 March 1959.‎

‎No place The Association for Symbolic Logic 1959. 8vo. Orig. printed wrappers. An excellent copy in near mint condition in- as well as externally. Pp. 1 - 14. The entire volume: 96 pp. � The seminal first printing of Kripke's debut article which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics often called possible world semantics. <br><br>Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.<br><br>The American philosopher Saul A. Kripke born 1940 is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy which is considered the philosopical equivalent of the Nobel Prize.<br><br>Kripke who grew up in Omaha in a religious Jewish family was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra geometry and calculus and very early on he took up philosophy which later became his career. Still a teenager in high school he wrote a work that was to change the face of philosophical logic forever namely the groundbreaking paper "A Completeness Theorem for Modal Logic" which was printed a few years later in 1959 in the Journal of Symbolic Logic while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there to which he is said to have written an answer explaining "My mother said that I should finish high school and go to college first."<br><br>In 1962 he graduated from Harvard University where he remained until 1968 first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the "Completeness Theorem" further and made seminal contributions to the field of logic and semantics. <br><br>Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years first published something on in 1959 the present work and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics of which no model theory existed before Kripke's. <br>With this work Kripke laid the foundation for proving completeness theorems for modal logic and for identifying the weakest normal modal logic which is now named K after him. unknown‎

Referencia librero : 36506

Biblio.com

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

€1,275.85 Comprar

‎KRIPKE SAUL A. KRIPKE MODELS FOR MODAL LOGIC‎

‎A Completeness Theorem in Modal Logic.‎

‎No place The Association for Symbolic Logic 1959. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic" Volume 24. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. 1 - 14. Entire volume: VI 374 pp. � The seminal first printing of Kripke's debut article which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics often called possible world semantics. <br><br>Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.<br><br>The American philosopher Saul A. Kripke born 1940 is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy which is considered the philosopical equivalent of the Nobel Prize.<br><br>Kripke who grew up in Omaha in a religious Jewish family was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra geometry and calculus and very early on he took up philosophy which later became his career. Still a teenager in high school he wrote a work that was to change the face of philosophical logic forever namely the groundbreaking paper "A Completeness Theorem for Modal Logic" which was printed a few years later in 1959 in the Journal of Symbolic Logic while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there to which he is said to have written an answer explaining "My mother said that I should finish high school and go to college first."<br><br>In 1962 he graduated from Harvard University where he remained until 1968 first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the "Completeness Theorem" further and made seminal contributions to the field of logic and semantics. <br><br>Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years first published something on in 1959 the present work and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics of which no model theory existed before Kripke's. <br>With this work Kripke laid the foundation for proving completeness theorems for modal logic and for identifying the weakest normal modal logic which is now named K after him. hardcover‎

Referencia librero : 48378

Biblio.com

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

€671.50 Comprar

‎KRIPKE SAUL A. KRIPKE MODELS FOR MODAL LOGIC "POSSIBLE WORLD SEMANTICS"‎

‎A Completeness Theorem in Modal Logic. In: The Journal of Symbolic Logic. Edited by Alonza Church Leon Henkin S.C. Kleene Alice A. Lezerowitz & Alfons Borgers. Volume 24 Number 1 March 1959.‎

‎No place The Association for Symbolic Logic 1959. 8vo. Wrappers blank with printed title on spine. Entire issue No. 1 of vol. 24 offered. Fine and clean. � The seminal first printing of Kripke's debut article which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics often called possible world semantics. <br><br>Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.<br><br>The American philosopher Saul A. Kripke born 1940 is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy which is considered the philosopical equivalent of the Nobel Prize.<br><br>Kripke who grew up in Omaha in a religious Jewish family was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra geometry and calculus and very early on he took up philosophy which later became his career. Still a teenager in high school he wrote a work that was to change the face of philosophical logic forever namely the groundbreaking paper "A Completeness Theorem for Modal Logic" which was printed a few years later in 1959 in the Journal of Symbolic Logic while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there to which he is said to have written an answer explaining "My mother said that I should finish high school and go to college first."<br><br>In 1962 he graduated from Harvard University where he remained until 1968 first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the "Completeness Theorem" further and made seminal contributions to the field of logic and semantics. <br><br>Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years first published something on in 1959 the present work and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics of which no model theory existed before Kripke's. <br>With this work Kripke laid the foundation for proving completeness theorems for modal logic and for identifying the weakest normal modal logic which is now named K after him. unknown‎

Referencia librero : 46888

Biblio.com

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

€671.50 Comprar

‎KUNG Guido [KÜNG]‎

‎Ontologie und logistische Analyse der Sprache. Eine Untersuchung zur zeitgenössischen Universaliendiskussion‎

‎vi + 173pp., 23cm., softcover, good condition, F78052‎

‎KUNG Guido [KÜNG]‎

‎Ontologie und logistische Analyse der Sprache. Eine Untersuchung zur zeitgenössischen Universaliendiskussion‎

‎Wien, Springer-Verlag 1963 vi + 173pp., 23cm., softcover, good condition, F78052‎

Referencia librero : F78052

Livre Rare Book

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

€16.00 Comprar

‎Kurosaki Hiroshi editor; from the library of Alonzo Church‎

‎Annals of the Japan Association for Philosophy of Science Vol. 6 No. 5 March 1985‎

‎Tokyo: Japan Association for Philosophy of Science 1985. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 5 papers -- 4 in English 1 in German. List of bibliographical references after each article. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics the interpretation of quantum mechanics logic of belief revision the nature of natural laws and naturalized epistemology. 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. Near Fine condition. pp. 219-272. Great Packaging Fast Shipping. Japan Association for Philosophy of Science Paperback‎

Referencia librero : 009087

Biblio.com

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

€41.42 Comprar

‎Kurosaki Hiroshi editor; from the library of Alonzo Church‎

‎Annals of the Japan Association for Philosophy of Science Vol. 7 No. 3 March 1988‎

‎Tokyo: Japan Association for Philosophy of Science 1988. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 6 papers -- all in English. List of bibliographical notes and references after each article. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics the interpretation of quantum mechanics logic of belief revision the nature of natural laws and naturalized epistemology. 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. Near Fine condition. pp. 111-161. Great Packaging Fast Shipping. Japan Association for Philosophy of Science Paperback‎

Referencia librero : 009089

Biblio.com

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

€41.42 Comprar

‎Kurosaki Hiroshi editor; from the library of Alonzo Church‎

‎Annals of the Japan Association for Philosophy of Science Vol. 7 No. 2 March 1987‎

‎Tokyo: Japan Association for Philosophy of Science 1987. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 4 papers -- all in English. Lists of bibliographical notes and references. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics the interpretation of quantum mechanics logic of belief revision the nature of natural laws and naturalized epistemology. 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. Near Fine condition. pp. 57-110. Great Packaging Fast Shipping. Japan Association for Philosophy of Science Paperback‎

Referencia librero : 009088

Biblio.com

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

€41.42 Comprar

‎Kurosaki Hiroshi editor; from the library of Alonzo Church‎

‎Annals of the Japan Association for Philosophy of Science Vol. 7 No. 4 March 1989‎

‎Tokyo: Japan Association for Philosophy of Science 1989. Near Fine condition. 18 cm x 25.5 cm. Bound in the original pale yellow wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. This issue contains 5 papers -- all in English. List of bibliographical references after each article. ANNALS OF THE JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE publishes papers on topics such as the foundations of mathematics the interpretation of quantum mechanics logic of belief revision the nature of natural laws and naturalized epistemology. 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. Near Fine condition. pp. 163-210. Great Packaging Fast Shipping. Japan Association for Philosophy of Science Paperback‎

Referencia librero : 009090

Biblio.com

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

€41.42 Comprar

‎KUTSCHERA/ BREITKOPF F. Von/ A-‎

‎EINFUHRUNG IN DIE MODERNE LOGIK.‎

MareMagnum

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

€6.72 Comprar

‎L.BARRE‎

‎La logique ou l'art de penser‎

‎Jules Delalain et Fils. sans date. In-12. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur frais. 368 pages avec plusieurs chapitres.. . . . Classification Dewey : 160-Logique‎

‎Des idées selon la nature et leur origine, Classification Dewey : 160-Logique‎

Referencia librero : ROD0045156

Livre Rare Book

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

€29.80 Comprar

‎L.M. De Rijk (ed.);‎

‎Anonymi auctoris franciscani Logica 'Ad rudium'. Edited from the MS Vat. lat 946,‎

‎Turnhout, Brepols, 1981 Paperback, 178 p., 165 x 240 mm. ISBN 9789070419011.‎

‎Languages: Latin, English.‎

Referencia librero : 33811

Livre Rare Book

ERIK TONEN BOOKS
Antwerpen Belgium Bélgica Bélgica Belgique
[Libros de ERIK TONEN BOOKS]

€33.00 Comprar

‎La Torre Mauro‎

‎Principi Di Informatica‎

‎Mm 160x240 Brossura editoriale di 385 pp. con copertina illustrata a colori, illustrazioni in b/n nel testo.Alcune sottolineature a matita e con evidenziatore celeste. Volume in buono stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.‎

‎Lagache Agnès‎

‎Echos du sensible - Une logique de l'homéopathie - Collection voyages philosophiques.‎

‎Atelier Alpha Bleue. 1988. In-8. Broché. Etat d'usage, 2ème plat abîmé, Dos plié, Intérieur frais. 298 pages - couverture contrepliée - déchirure sur le 2eme plat.. . . . Classification Dewey : 160-Logique‎

‎Collection voyages philosophiques. Classification Dewey : 160-Logique‎

Referencia librero : R100056377

Livre Rare Book

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

€49.50 Comprar

‎Lakatos Imre‎

‎Dimostrazioni e confutazioni La logica della scoperta matematica A cura di John Worrall e Elie Zahar Introduzione all'edizione italiana di Giulio Giorello‎

‎trad. di Daniela Benelli tela edit. con titoli, acetato protettivo, minima rottura all'acetato‎

‎Lambert Karel; van Frassen Bas C.‎

‎Derivation and Counterexample; An Introduction to Philosophical Logic‎

‎Encino California: Dickenson Publishing Company Inc. 1972 1972. First edition. Hardcover. Very Good. 8vo. 8 ix-xi 1 1-227 1 pp. Bound in dark blue cloth with gold lettering on the front board and the spine patterned endpapers and pastedowns lacks the dustjacket. Includes an index and diagrams throughout. A Very Good book with highlighting throughout minor spots of discoloration on the rear panel and a previous owner's name on the free front endpaper. <br/><br/> Dickenson Publishing Company, Inc. [1972] hardcover‎

Referencia librero : 00006854

Biblio.com

Evening Star Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de Evening Star Books]

€12.69 Comprar

‎LAMBERT Karel.‎

‎PHILOSOPHICAL PROBLEMS IN LOGIC. SOME RECENT DEVELOPMENTS.‎

MareMagnum

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

€10.08 Comprar

‎LAMOUCHE André‎

‎Logique de la Simplicité‎

‎Dunod.1959.In-8 toilé avec jaquette.536 p.+ Appendice.BE.‎

Referencia librero : 44222

Livre Rare Book

Librairie Ancienne Laurencier
Bordeaux France Francia França France
[Libros de Librairie Ancienne Laurencier]

€18.00 Comprar

‎LARANE JEAN-JACQUES‎

‎LES TESTS DE SELECTION DEVOILES - 1 - POUR CONNAITRE ET PASSER AVEC SUCCES LES TESTS DE SELECTION DU PERSONNEL - POUR DEJOUER LES PIEGES DE LA GRAPHOLOGIE‎

‎EDITIONS L' ECRIT. 1995. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 177 pages - nombreuses illustrations en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Referencia librero : RO20184740

Livre Rare Book

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

€29.80 Comprar

‎Larané Jean-Jacques‎

‎La pratique des tests psychotechniques Tome 2 - Pour vous entraîner au passage des tests de sélection personnel‎

‎L'écrit. 2006. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 155 pages. Nombreux schémas en noir et blanc dans et hors texte. Annotations au crayon dans le texte, la page de faux titre et le premier contre-plat. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Referencia librero : RO20242557

Livre Rare Book

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

€10.95 Comprar

‎Laura Saret L. Saret Laura Data Processing Logic Saret‎

‎Programming Logic for Business‎

‎Mcgraw-Hill College. Used - Good. Ships from Reno NV. Shows some signs of wear and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy! Mcgraw-Hill College unknown‎

Referencia librero : GRP97066307 ISBN : 0070549087 9780070549081

Biblio.com

Better World Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de Better World Books]

€5.47 Comprar

‎Laurent (Pierre-Jean)‎

‎Approximation et optimisation‎

‎Hermann , Enseignement des Sciences Malicorne sur Sarthe, 72, Pays de la Loire, France 1972 Book condition, Etat : Bon relié, cartonnage pleine toile éditeur, sous jaquette imprimée éditeur fort et grand In-8 1 vol. - 544 pages‎

‎1ere édition Contents, Chapitres : Avant-propos, Table, xiii, Texte, 531 pages - Cônes de déplacements admissibles et caractérisation d'un minimum - Approximation dans un espace de Hilbert - Approximation uniforme de fonctions continues sur un compact - Fonctions-spline d'interpolation et d'ajustement - Convergence d'opérateurs linéaires continus - Fonctionnelles convexes - Stabilité et dualité en optimisation convexe - Approximation dans un espace vectoriel normé - Fonctions-spline dans un convexe Bon exemplaire, frais et propre‎

Referencia librero : Cyb-7258

Livre Rare Book

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

€30.00 Comprar

‎LAURENT H.‎

‎La logique‎

‎Nilsson. Sans date. In-12. Broché. Bon état, Couv. partiel. décollorée, Dos satisfaisant, Intérieur bon état. 118p.. . . . Classification Dewey : 160-Logique‎

‎La logique est la science de la vie elle-même. Classification Dewey : 160-Logique‎

Referencia librero : ROD0031020

Livre Rare Book

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

€14.90 Comprar

‎LAURIER (Daniel, textes réunis par)‎

‎Essais sur le sens et la réalité‎

‎Montréal et Paris, Bellarmin et Vrin, 1991. 350 g In-8 broché.. Textes réunis par Daniel Laurier : - La réalité du passé, par Michael Dummett. - Dumette, le langage, la vérité et l'objectivité, par Cesare Cozzo. - Intuitionnisme et langage naturelle, par Alain Voizard. - La sémantique de Davidson et le problème d'une théorie de la compréhension, par Michel Seymour. - Comprendre ou interpréter ?, par Daniel Laurier. - Holisme, molécularité et constantes logiques, par Pascal Engel. - Le molécularisme : logique et sémantique, par Jocelyne Couture. - Intuitionnisme et négation locale, par Yvon Gauthier. - Husserl et Frege : les remarques de Dummett sur la généralisation de la signification, par Denis Fisette. . (Catégories : Philosophie, Logique, )‎

Referencia librero : 10197

Livre Rare Book

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

€22.00 Comprar

‎Le Bras Madeleine‎

‎Cours de logique - Baccalauréat 2e partie‎

‎Institut Pédagogique national. Non daté. In-8. Broché. Bon état, Couv. légèrement passée, Dos satisfaisant, Papier jauni. 117 pages.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Referencia librero : RO80252617

Livre Rare Book

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

€19.80 Comprar

‎LEBE - GIGUN, Madame‎

‎Cours Elémentaire de Rhétorique Française précédé d'éléments de logique et suivi de notions de versification française à l'usage des jeunes personnes‎

‎1850 A Paris, Dezorbry et E. Magdeleine, Librairies-Editeurs. 1850. 1 von in 12. Cartonnage demi toile bleue avec étiquettes de titre et de référence. ( reliure modeste de travail). 207 pages‎

‎Assez bon état. Bords des premières pages avec quelques marques d'usure, petites déchirures en fin de volume dans la marge supérieure et le bord droit des pages 200 à 207‎

Referencia librero : 99777

Livre Rare Book

Librairie Le Père Pénard
Lyon France Francia França France
[Libros de Librairie Le Père Pénard]

€12.00 Comprar

‎LEBLANC LEON‎

‎INTRODUCTION A LA LOGIQUE ALGEBRIQUE - 1967‎

‎In 8, pp. 100 (X), br. Polvere ai piatti (6122/ ALGEBRA - LOGICA)‎

‎LECOMTE, Gérard‎

‎Grammaire de l'arabe‎

‎1964 Editions Presses Universitaires de France (P.U.F.), collection "Que Sais-Je?" N° 1275 - 1964 - Deuxième édition revue et mise à jour - In-12, broché - 125 pages‎

‎Bon état - Couverture légèrement frottée et jaunie‎

Referencia librero : 119189

Livre Rare Book

Librairie Le Père Pénard
Lyon France Francia França France
[Libros de Librairie Le Père Pénard]

€15.00 Comprar

‎Lee Correy‎

‎Operazione centauro‎

‎Collana Urania n.75‎

‎Lee, Harold Newton.‎

‎Symbolic Logic: An Introductory Textbook for Non-Mathematicians.‎

‎356 p. Hardcover Very good condition good‎

MareMagnum

Readville Books
Readville MA, US
[Libros de Readville Books]

€14.84 Comprar

‎Leinfellner, Werner‎

‎Struktur und Aufbau wissenschaftlicher Theorien. Eine wissenschaftstheoretisch-philosophische Untersuchung.‎

‎Wien, Würzbg., Physica-Vlg. 1965. gr.-8°, 4 Bl. Titelei, 307 S., OKart., Deckel mit Licht- und Staubspuren, innen neuwertig.‎

Referencia librero : PHIL1704

‎LEMARIE (O.).-‎

‎Précis de philosophie, II : Logique - Morale. Classes de philosophie et de mathématiques A et B.‎

‎P., Alcan, 1938, in 8° broché, VIII-172 pages.‎

‎PHOTOS SUR DEMANDE. ...................... Photos sur demande ..........................‎

Referencia librero : 68394

‎LEMARIE O.‎

‎Precis de philosophie - TOME 2 - logique, morale, clesses de philosophie et de mathematiques A et B‎

‎FELIX ALCAN. 1938. In-12. Broché. Etat d'usage, Couv. partiel. décollorée, Manque en coiffe de pied, Quelques rousseurs. 170 pages - coiffes abîmées.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Referencia librero : RO40057680

Livre Rare Book

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

€19.80 Comprar

‎LEMMON E.‎

‎J.Elementi di logica.Trad.e app.di M.Prampolini.‎

‎8°, pp.XI-254, br.ed. Alcune pagg. incollate con nastro ades. Sottolineat.‎

‎LEPAGE, François.‎

‎Eléments de Logique contemporaine. Avec exercices corrigés.‎

‎in-8, broché. Très bel exemplaire. [CL-7]‎

MareMagnum

Pique-Puces
BELFORT, FR
[Libros de Pique-Puces]

€24.88 Comprar

‎LEPAGE, François.‎

‎Eléments de Logique contemporaine. Avec exercices corrigés.‎

‎Les Presses de l'Université de Montréal/Dunod, 1991. in-8, broché.‎

‎Très bel exemplaire. [CL-7]‎

Referencia librero : 75264

Livre Rare Book

Librairie Pique-Puces
Belfort France Francia França France
[Libros de Librairie Pique-Puces]

€24.88 Comprar

‎Leroux (Jean)‎

‎Introduction à la logique‎

‎Grand in-8 broché sous couverture à rabats, Diderot éditeur, coll. "Bibliothèque des sciences", 1988, 344 pp. Bon état général, bel exemplaire. Poids 680 g. Envoi lettre verte. Frais d'envoi 7,50 euros sur la France, 21 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.‎

Referencia librero : UUI-11921

Livre Rare Book

Les Livres du Pont-Neuf
Paris France Francia França France
[Libros de Les Livres du Pont-Neuf]

€25.00 Comprar

‎LESCLACHE Louis ( De )‎

‎LA SCIENCE GENERALE EXPLIQUEE EN TABLES. La Seconde partie de la Philosophie, ou la science générale. Divisée en quatre parties. - La Physique expliquée en tables.‎

‎S.N. Charles ( Chastellain ) S.L. (Paris) S.D. (vers 1655) 2 tomes reliés en 1 volume petit in-4 carré ( 235 X 180 mm ), pleine basane tabac ( Reliure de l'époque ). Exemplaires entièrement gravés montés sur onglets. Absence de pages de titres, dos absent, coupes et coins usés.Edition très rare de ces deux ouvrages de philosophie composés par Louis De LESCLACHE ( 1620-1671 ), philosophe dorigine auvergnate qui enseigna la grammaire et la philosophie à Paris, à Lyon et à Grenoble. Il était un partisan de linstruction des femmes et tenta de réformer lorthographe.- LA SCIENCE GENERALE EXPLIQUEE EN TABLES. La Seconde partie de la Philosophie, ou la science générale. Divisée en quatre parties. Page de titre ornée et 16 tableaux à double-page.- La Physique expliquée en tables. Page de titre ornée et 26 tableaux à double-page.‎

Referencia librero : 20151

Livre Rare Book

Librairie Tiré à Part
Marseille France Francia França France
[Libros de Librairie Tiré à Part]

€280.00 Comprar

‎LESCLACHE, Louis De‎

‎La philosophie divisée en cinq parties pars Louis de Lesclache‎

‎In -4°, pp. 533 (3); il volume pubblica le prime tre parti; la numerazione comprende il primo frontespizio inciso. Legatura in marocchino rosso alle armi del cardinale Chigi. “Seconde édition augmentée”. Red morocco binding at Chigi arms.‎

‎Letocha Jean & Collet Léon‎

‎Introduction aux circuits logiques - 2e édition.‎

‎McGraw-Hill. 1985. In-8. Broché. Etat d'usage, 2ème plat abîmé, Dos plié, Intérieur acceptable. 298 pages - nombreuses figures en noir et blanc dans le texte - déchirure sur le 2ème plat - coins frottés.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

Referencia librero : R100071894 ISBN : 75489856

Livre Rare Book

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

€29.80 Comprar

‎Levi Strauss Claude‎

‎Myth and Meaning‎

‎New York: Schocken Books 1979. 5.5" wide by 8" tall. Tight square unmarked copy. Not price clipped 2.95. No store stamp owner's name or bookplate. No remainder mark. No underlining. No highlighting. Keywords: Anthropology Philosophy . Second printing. Trade Paperback. Very Good condition. x 54pp. Schocken Books Paperback‎

Referencia librero : 009929 ISBN : 0805206221 9780805206227

Biblio.com

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

€10.11 Comprar

Número de resultados : 2,222 (45 Página(s))

Primera página Página anterior 1 ... 18 19 20 [21] 22 23 24 ... 26 28 30 32 34 36 38 40 42 44 ... 45 Página siguiente Ultima página