Professional bookseller's independent website

‎Logique‎

Main

????? : 2,210 (45 ?)

??? ??? 1 ... 17 18 19 [20] 21 22 23 ... 26 29 32 35 38 41 44 ... 45 ??? ????

‎JOHN BALDWIN; STEVE AWODEY; THE ASSOCIATION FOR SYMBOLIC LOGIC‎

‎THE BULLETIN OF SYMBOLIC LOGIC. VOL. 17 NO. 3. 2011‎

‎THE ASSOCIATION FOR SYMBOLIC LOGIC -- RI 1/1/2011. Paperback. Very Good. NICE CONDITION SOFTCOVER BOOK. NO WRITING OR MARKINGS IN TEXT. ONLY LIGHT WEAR TO COVER. A CLEAN AND SOLID BOOK. THE ASSOCIATION FOR SYMBOLIC LOGIC -- RI paperback‎

书商的参考编号 : SKU-KEV-448

Biblio.com

Voyager Books
United States Estados Unidos Estados Unidos États-Unis
[Books from Voyager Books]

€ 13.71 购买

‎John Dewey‎

‎Logica sperimentale. Teoria naturalistica della conoscenza e del pensiero‎

‎Autori: John Dewey. Curatori: R. Frega.‎

‎John N. Crossley e altri‎

‎Che cos'è la logica matematica ?‎

‎John N. Crossley e altri Che cos'è la logica matematica ?. Torino, Boringhieri 1976 italian, 126 CR32.FBrossura editoriale,volume in buone condizioni, lievi segni di usura sulla copertina, interno in ottimo stato, legatura salda126 pagine circacopertina come da foto‎

‎John W. Campbell jr.‎

‎Avventura nell'iperspazio‎

‎Collana Urania n.40‎

‎John Wyndham‎

‎Il risveglio dell'abisso‎

‎Collana Urania n.35‎

‎JOHNSON W.E.‎

‎LOGIC PART 1.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Books from Libreria Anticuaria Jerez]

€ 13.44 购买

‎JOHNSON W.F.‎

‎LOGIC. DEMONSTRATIVE INFERENCE: DEDUCTIVE AND INDUCTIVE. IN THREE PARTS. PART II.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Books from Libreria Anticuaria Jerez]

€ 13.44 购买

‎JOHNSON-LAIRD, Philip‎

‎Modelli mentali. Verso una scienza cognitiva del linguaggio, dell'inferenza e della coscienza‎

‎756 p.; 22 cm. Cartonato editoriale. Molto buono‎

‎Johnsonbaugh (Richard) and Pfaffenberger (W.E.)‎

‎Foundations of Mathematical Analysis‎

‎Dover Publications , Dover Books on Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 2002 Book condition, Etat : Très Bon paperback, editor's printed wrappers In-8 1 vol. - 441 pages‎

‎1st was 1981 Contents, Chapitres : Prefaces, Contents, xii, Text, 429 pages - Sets and functions - The real number system - Set equivalence - Sequences of real numbers - Infinite series - Limits of real-valued functions and continuous functions on the real line - Metric spaces - Differential calculus of the real line - The Riemann-Stieltjes integral - Sequences and series of functions - Transcendental functions - Inner product spaces and Fourier Series - Normed linear spaces and the Riesz representation theorem - The Lebesgue integral Near fine copy, no markings‎

书商的参考编号 : Cyb-7238

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Books from Librairie Internet Philoscience]

€ 10.00 购买

‎Johnston Mark D‎

‎The Spiritual Logic of Ramon Llull‎

‎Clarendon press 1987 352 pages 13 8x2 6x21 6cm. 1987. Cartonné jaquette. 352 pages.‎

‎Très bon état proche du neuf ex-libris sur la page titre intérieur propre‎

书商的参考编号 : 100127362

Livre Rare Book

Un Autre Monde
Val Couoesnon France Francia França France
[Books from Un Autre Monde]

€ 170.00 购买

‎JOLIVET RÉGIS‎

‎Hoofdlijnen der wijsbegeerte ; eerste deel.Logica of denkleer (uit het Fransch)‎

‎Nijmegen-Utrecht/Antwerpen-Brussel-Gent-Leuven, Dekker & Van de Vegt/Standaard-Boekhandel 1938, iv + 80pp.‎

‎Joseph M. Bochenski, Alberto Conte, a cura di‎

‎La logica formale. La logica matematica‎

‎Joseph M. Bochenski, Alberto Conte, a cura di La logica formale. La logica matematica. Bologna, Einaudi 1972 - TS.2 italian, Opera con copertina morbida in brossura. TS.2.‎

‎JOURDAIN Charles‎

‎Logique de Port-Royal‎

‎Hachette. 1854. In-12. Broché. Bon état, Tâchée, Mors fendus, Quelques rousseurs. 381 pages.. . . . Classification Dewey : 160-Logique‎

‎Suivie des trois fragments de Pascal sur l'autorité en matière de philosophie, l'esprit géométrique et l'art de persuader. Classification Dewey : 160-Logique‎

书商的参考编号 : RO20003021

Livre Rare Book

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

€ 39.80 购买

‎Jourdain Charles‎

‎Logique de Port-Royal, précédée d'une notice sur les travaux philosophiques d'Antoine Arnauld et accompagnée de notes‎

‎L. Hachette et Cie. 1869. In-12. Broché. Etat passable, Plats abîmés, Dos fané, Intérieur acceptable. 396 pages. Premier plat désolidarisé, second plat déchiré.. . . . Classification Dewey : 160-Logique‎

‎Nouvelle édition. Classification Dewey : 160-Logique‎

书商的参考编号 : RO80247138

Livre Rare Book

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

€ 29.80 购买

‎JOURNAL OF SYMBOLIC LOGIC.‎

‎Journal of Symbolic Logic Volume 16 1951.‎

‎No place The Association for Symbolic Logic 1951. Lev8vo. Bound in red half cloth with gilt lettering to spine. "Journal of Symbolic Logic" Volume 16. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. IV 332 pp. hardcover‎

书商的参考编号 : 48598

Biblio.com

Lynge & Son
Denmark Dinamarca Dinamarca Danemark
[Books from Lynge & Son]

€ 53.72 购买

‎Journal of Logic, Language and Information - Gardenfors (Peter), ed. - Van Eijck (Jan) and de Vries (Fer-Jan) - Rott (Hans) - Kamareddine (Fairouz)‎

‎Journal of Logic, Language and Information - Volume 1, n° 1, 1992‎

‎Kluwer , Journal of Logic, Language and Information Malicorne sur Sarthe, 72, Pays de la Loire, France 1992 Book condition, Etat : Bon paperback grand In-8 1 vol. - 110 pages‎

‎Contents, Chapitres : Peter Gärenfors : Editorial - Jan van Eijck and Fer-Jan de Vries : Dynamic interpretation and Hoare deduction - Hans Rott : Preferential belief change using generalized epistemic entrenchment - Fairouz Kamareddine : alpha-terms, logic, determiners and quantifiers light odor of dampness‎

书商的参考编号 : Cyb-2099

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Books from Librairie Internet Philoscience]

€ 7.00 购买

‎Jurain, Abbé‎

‎Logica sive ars cogitandi a tricis dialecticorum vindicata.‎

‎Venedig, Typographia Balleoniana, 1765. Kl.-8°. Mit Holzschn.-Titelvignette (gekrönter Doppeladler). XII, 189 S., Ldr. d. Zt. a. 4 Bünden m. goldgepr. Rückenschild u. dreiseitigem Rotschnitt.‎

‎Erste lat. Ausgabe, erschien im selben Jahr in Paris unter dem Titel ?La logique, ou l'art de penser, dégagé de la servitude de la dialectique?. - Einband etw. lichtrandig u. berieben. Schwach stockfleckig.‎

书商的参考编号 : 24972

‎K. AXELOS‎

‎Contribution a la logique‎

‎K. AXELOS Contribution a la logique. Francia, Les Editions De Minuiit 1977 french, 149 SC476Brossura editorialevolume in ottime condizioni, lievissimi segni di lettura sul dorso, copertina e interno in condizioni eccellenti, scritto in lingua francese, legatura salda, collana "Arguments"149 pagine circaCopertina come da foto‎

‎Kac (Marc) and Ulam (Stanislaw M.)‎

‎Mathematics and Logic‎

‎Dover , Dover Books on Advanced Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1992 Book condition, Etat : Bon paperback, editor's yellow, orange and purple illustrated wrappers In-8 1 vol. - 179 pages‎

‎few text-figures Reprinted edition, 1992 Contents, Chapitres : Introduction, Contents, ix, Text, 170 pages - Examples - Themes, trends and syntheses - Relations to other disciplines - Summary and outloook minor folding tracks on the corners of the wrappers, the wrappers remains clean, inside is near fine, no markings, corners very lightly folded at the beginning of the book, it remains a very good copy‎

书商的参考编号 : Cyb-7109

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Books from Librairie Internet Philoscience]

€ 8.00 购买

‎KADANE, Joseph B., Mark J. SCHERVISH & Teddy SEIDENFELD‎

‎Rethinking the Foundations of Statistics, hb‎

‎9780521640114 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal‎

‎KANT‎

‎Logique‎

‎Paris.Vrin.1966.In-12 br.171 p.Traduction par L.Guillermit.BE.‎

书商的参考编号 : 40114

Livre Rare Book

Librairie Ancienne Laurencier
Bordeaux France Francia França France
[Books from Librairie Ancienne Laurencier]

€ 10.00 购买

‎KANT (& TISSOT J., trad.)‎

‎Logique de Kant‎

‎Paris, Ladrange 1862 248pp. + 32pp.catalogue d'éditeur, 2e édition française, 23cm., br.orig. avec petit manque de papier au dos, rousseurs (texte toujours bien lisible), pour la plupart non coupé, bon état, texte en français, F80485‎

书商的参考编号 : F80485

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Books from Antiquariaat Pieter Judo (De Lezenaar)]

€ 50.00 购买

‎KANT (& TISSOT J., trad.)‎

‎Logique de Kant‎

‎248pp. + 32pp.catalogue d'éditeur, 2e édition française, 23cm., br.orig. avec petit manque de papier au dos, rousseurs (texte toujours bien lisible), pour la plupart non coupé, bon état, texte en français, F80485‎

‎KANT Emmanuel (& TISSOT J., trad.)‎

‎Mélanges de logique d'Emm. Kant‎

‎Paris, Ladrange 1862 viii + 474 [ii] pp., 23cm., br.orig., quelques rousseurs sinon en bel état, F80535‎

书商的参考编号 : F80535

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Books from Antiquariaat Pieter Judo (De Lezenaar)]

€ 80.00 购买

‎KANT Emmanuel (& TISSOT J., trad.)‎

‎Mélanges de logique d'Emm. Kant‎

‎viii + 474 [ii] pp., 23cm., br.orig., quelques rousseurs sinon en bel état, F80535‎

‎KANT Immanuel.‎

‎LOGIC.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Books from Libreria Anticuaria Jerez]

€ 13.44 购买

‎Kant, Immanuel‎

‎Critica della ragion pura‎

‎Mm 140x210 Collana "Economica Laterza". Brossura editoriale con bandelle, lix-629 pagine. Sottolineature e note a matita o a penna, specie nella prima metà, firma in apertura, peraltro buona copia da studio. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.‎

MareMagnum

Salvalibro Snc
Foligno, IT
[Books from Salvalibro Snc]

€ 11.00 购买

‎Kapur, Deepak‎

‎Geometric Reasoning‎

‎Kattsoff, Louis Osgood‎

‎Postulational methods (=Reprinted from Philosophy of science, v. 2, no. 2, April, 1935, v. 3, no. 1, January, 1936 and v. 3, no. 3, July, 1936) (=Thesis (Ph. D.)--University of Pennsylvania, 1934.)‎

‎Philadelphia, [1934 [i.e. 1936] = 1936. original Broschur, 8?, 2 p. l., p. 139-163, 67-89, 375-417. : diagrs.; binding a bit foxed otherwise a good copy‎

书商的参考编号 : AB10-1199

‎Kaufmann Walter‎

‎Hegel : Reinterpretation Texts and Commentary‎

‎Garden City New York: Doubleday & Company Inc. 1965. Bright clean square tight and unmarked. No owner's name or bookplate. No remainder marks. Sharp corners. Pages are fresh and crisp probably never read. Has a useful annotated bibliography pp. 469-486 of writings by and about Hegel. Index. From the Dust Jacket: "This book the first intellectual biography of Hegel in English is designed to acquaint the reader with the man and his philosophy and to place the discussion of Hegel on a new basis. Making abundant use of Hegel's many writings and letters that have only recently been published and of a great deal of hitherto untranslated material Professor Kaufmann disposes once and for all of the popular image of the arch-professorial philosopher who had no personal life lacked any understanding of the passions and whose philosophy consisted of a rigid system in which everything was supposed to have a fixed place." Bound in the original rust-colored cloth with black cloth spine lettered in gold. . First Edition so stated. Hard Cover. Near Fine condition./VG DJ price clipped. Illus. by Ben Shahn jacket art. 8vo. 499pp. . Doubleday & Company, Inc. Hardcover‎

书商的参考编号 : 003744

Biblio.com

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

€ 25.34 购买

‎KAULSNITZER J.E.‎

‎TESTS D'INTELLIGENCE - POUR MESURER ET DEVELOPPER SA CAPACITE DE RAISONNEMENT - LES TESTS ET LEURS RESULTATS.‎

‎MARABOUT. 2004. In-18. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 63 pages - Nombreuses figures en noir et blanc.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

书商的参考编号 : R320081411

Livre Rare Book

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

€ 14.90 购买

‎KAULSNITZER J.E.‎

‎TESTS D'INTELLIGENCE - POUR MESURER ET DEVELOPPER SA CAPACITE DE RAISONNEMENT - LES TESTS ET LEURS RESULTATS.‎

‎MARABOUT. 2004. In-18 Carré. Broché. Bon état. Couv. convenable. Dos satisfaisant. Intérieur frais. 63 pages - Nombreuses figures en noir et blanc.‎

‎KEGLEY Charles M./Jacquelyn Ann.‎

‎INTRODUCTION TO LOGIC.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Books from Libreria Anticuaria Jerez]

€ 6.72 购买

‎Keith Kent M‎

‎Anyway. The Paradoxical Commandments. Finding Personal Meaning in a Crazy World‎

‎New York: G. P. Putnam's Sons 2001. x 117pp. Or pink papered boards with maroon cloth spine in jacket. Includes pocket size card with 'commandments' on it. Find meaning in a crazy world by using these commandments. Example: The good you do today will be forgotten tomorrow. Do good anyway. First Edition. Hard Cover. Fine/Fine. 8vo. G. P. Putnam's Sons Hardcover‎

书商的参考编号 : 009151 ???????? : 0399149457 9780399149450

Biblio.com

Lawrence Jones
Australia Australia Austrália Australie
[Books from Lawrence Jones]

€ 7.91 购买

‎Keith Kent M.; Keith Kent‎

‎Anyway: The Paradoxical Commandments Finding Personal Meaning in a Crazy World‎

‎Putnam Pub Group 2002. Hardcover. Good. Book shows moderate wear/ spine tight pages clean/ D.J. not price clipped; a few small tears; moderate edge wear/ readres slant/ corners and spine bumped Putnam Pub Group hardcover‎

书商的参考编号 : 019889 ???????? : 0399149457 9780399149450

Biblio.com

Harvest Moon Farm Book Cellar
United States Estados Unidos Estados Unidos États-Unis
[Books from Harvest Moon Farm Book Cellar]

€ 2.50 购买

‎Kirchner, H. & Levi, G. (ed.)‎

‎Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2 - 4, 1992 Proceedings (Lecture Notes in Computer Science 632)‎

‎Lecture Notes in Computer Science 632; Ex - Library. Previous owner's sticker on the front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex - Library‎

‎Kirchner, H. & Wechler, W. (eds.)‎

‎Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1 - 3, 1990, Proceedings (Lecture Notes in Computer Science 463)‎

‎Lecture Notes in Computer Science 463; Ex - Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and slight creases to some leading corners. Page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex - Library‎

‎KISS Stephen A.‎

‎AN INTRODUCTION TO ALGEBRAIC LOGIC.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Books from Libreria Anticuaria Jerez]

€ 8.06 购买

‎Kitaro Nishida‎

‎Logique du lieu et vision religieuse du monde.‎

‎Osiris. 1999. In-12. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Papier jauni. 92 pages - couverture contrepliée - plats salis.. . . . Classification Dewey : 160-Logique‎

‎Traduit par Yasuhiko Sugimura et Sylvain Cardonnel. Classification Dewey : 160-Logique‎

书商的参考编号 : R100054966

Livre Rare Book

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

€ 49.50 购买

‎KLAUSNITZER J.E.‎

‎LES TESTS DE LOGIQUE / POUR APPRENDRE A SE CONNAITRE ET A SE DEPASSER ...‎

‎MARABOUT. 1992. In-12. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 146 pages illustrées de quelques figures dans le texte - Quelques annotations sur la 1ere page et soulignements dans le texte.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

书商的参考编号 : R320021330

Livre Rare Book

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

€ 10.95 购买

‎KLEENE S. C. FIRST FORMAL TREATMENTS OF LOGIC FOR COMPUTABILITY‎

‎On the interpretation of intuitionistic number theory.‎

‎No place The Association for Symbolic Logic 1944 & 1945. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic" Volume 9 & 10 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Kleene: Pp. 109-124. Entire volume: IV 107 1 IV 160 pp. � First printing of Kleene's important paper constituting one of the very first formal treatments of logic for computability in which he proved that intuitionistic first-order number theory also has the related existence property through an interpretation of intuitionistic number theory in terms of Turing machine computations. hardcover‎

书商的参考编号 : 48382

Biblio.com

Lynge & Son
Denmark Dinamarca Dinamarca Danemark
[Books from Lynge & Son]

€ 241.74 购买

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

书商的参考编号 : 004697

Biblio.com

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

€ 37.19 购买

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

书商的参考编号 : PHILOSOPH47859631221

Livre Rare Book

Le Plaisir du Texte
Lyon France Francia França France
[Books from Le Plaisir du Texte]

€ 45.00 购买

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

书商的参考编号 : Cyb-7296

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Books from Librairie Internet Philoscience]

€ 12.00 购买

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

书商的参考编号 : 009051 ???????? : 0822101289 9780822101284

Biblio.com

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

€ 27.88 购买

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

书商的参考编号 : Cyb-7227

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Books from Librairie Internet Philoscience]

€ 35.00 购买

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

书商的参考编号 : 20339

‎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]‎

书商的参考编号 : F66455

Livre Rare Book

Antiquariaat Pieter Judo (De Lezenaar)
Hasselt Belgium Bélgica Bélgica Belgique
[Books from Antiquariaat Pieter Judo (De Lezenaar)]

€ 40.00 购买

‎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]‎

????? : 2,210 (45 ?)

??? ??? 1 ... 17 18 19 [20] 21 22 23 ... 26 29 32 35 38 41 44 ... 45 ??? ????