書籍販売業者の独立ポータルサイト

‎Logique‎

Main

ペアレントテーマ

‎Mathématiques‎
検索結果数 : 2,221 (45 ページ)

最初のページ 前ページ 1 ... 17 18 19 [20] 21 22 23 ... 26 29 32 35 38 41 44 ... 45 次ページ 最後のページ

‎Japan Logic Meeting 1987 Kyoto; T. A. Slaman; J. Shinoda; T. Tugue; Editor T. Tugue‎

‎Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto 1987 Lecture Notes in Mathematics‎

‎Springer-Verlag 1989-10. Paperback. Good. Springer-Verlag paperback‎

書籍販売業者の参照番号 : SONG0387515275 ISBN : 0387515275 9780387515274

Biblio.com

Ergodebooks
United States Estados Unidos Estados Unidos États-Unis
[この書籍販売業者の本を検索: Ergodebooks]

€ 19.54 購入

‎JEAN GOBET‎

‎LES TESTS DEMYSTIFIES COMPRENDRE ANALYSER UTILISER LES TESTS.‎

‎AUBIER MONTAIGNE. 1986. In-8. Broché. Bon état, Couv. légèrement pliée, Dos satisfaisant, Intérieur acceptable. 306 pages - nombreuses figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

書籍販売業者の参照番号 : R240050190

‎Jensen Finn V.‎

‎Proceedings from 5th Scandinavian Logic Symposium Aalborg 17-19 January 1979‎

‎Aalborg: Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag 1979. Ex-Library. Paperback. Good-/None. Bright blue softcover with crease on front cover. Spine and upper page edges lightly toned. Ex-university library stamps on page edges. Text is unmarked. A section of pages 205-228 is loose from the glued binding but all are present and the binding is otherwise intact. 8vo. BOOK INFO: Edited by Finn V. Jensen Brian H. Mayoh and Karen K. Moller. Articles in three sections 1 Logic and Computer Science: Ten Years of Hoare's Logic a survey; On the notion of Correct Refinement of Programs; The reachability problem for Petri Nets and decision problems for Skolem arithmetic; A Deductive Approach to Program Synthesis; Concurrency as a Basis of Systems Thinking; Algorithmic Logic and it Extensions a survey. 2 Philosophical Logic: Mathematical Logic and Mathematical Reasoning; 'Even If' Unfoldment of Self-reference in Logic and in Computer Science; Some results on interpretability; 3 Mathematical Logic: The Horn complexity of Boolean functions and Cook's problem; Pn PC- and RPC-classes in Generalized Model Theory; Finitary Translation of Mathematical Theories; Herbrand's Theorem for Calculi of Sequents LK and LJ; A classification of higher type functionals; On Hanf-numbers of Unbounded Logics. Includes bibliographical references. Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag paperback‎

書籍販売業者の参照番号 : 15144 ISBN : 8773070378 9788773070376

Biblio.com

Quadrant Book Mart
United States Estados Unidos Estados Unidos États-Unis
[この書籍販売業者の本を検索: Quadrant Book Mart]

€ 38.07 購入

‎Jevons W. Stanley.‎

‎Logica. Traduzione di C. Cantoni. Con 15 incisioni. Quarta edizione.‎

‎Milano, Hoepli, 1891, in-16, tela editoriale. pp. VII, 154 + 24 di catalogo editoriale. Con figure n.t. Lievi sbiaditure esterene. Piccola mancanza marginale al frontespizio. Manuale Hoepli.‎

‎Jevons, W. Stanley; Hill, David J.‎

‎THE ELEMENTS OF LOGIC, A Text-Book For Schools and Colleges; Being the Elementary Lessons in Logic. Recast by David J. Hill.‎

‎pp. xviii, 330. Early stamped ownership of M. E. Scheibner on title page. 12mo. Original cloth boards. Lacks leather spine. Professor M. E. Scheibner was a Russian and a graduate of the University of Warsaw. He was a fine scholar, speaking several European languages, and was an equally good English scholar. He was a soldier in the U.S. Civil War and was wounded. Being in Paris he came here expecting to get a commission, but failing, enlisted. From 1877 to 1881 he taught at the Doylestown Seminary; and then he taught at Reading High School for several years. PHILOSOPHY 2‎

‎Jeziorowski Artur redaktor tomu; from the library of Alonzo Church‎

‎Szkice z dziej�w filozofii niemieckiej‎

‎Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1988. Very Good condition. 17 cm x 23.5 cm. Bound in the original brown pictorial wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Sketches from the History of German Philosophy. Text in Polish with brief summaries in German. Footnotes. Bibliographical references. ACTA Universitatis Wratislaviensis No. 835. Prace Filozoficzne L. Historia Filozofii 6. 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. Very Good condition. 114pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback‎

書籍販売業者の参照番号 : 009096

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[この書籍販売業者の本を検索: About Books]

€ 114.22 購入

‎Jimmy Guieu‎

‎I figli del diluvio‎

‎Collana Urania n.55‎

‎Jimmy Guieu‎

‎L'ultimo rifugio‎

‎Collana Urania n.166‎

‎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
[この書籍販売業者の本を検索: 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
[この書籍販売業者の本を検索: Un Autre Monde]

€ 170.00 購入

‎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
[この書籍販売業者の本を検索: 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.‎

‎JOHNSON W.F.‎

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

‎JOHNSON-LAIRD, Philip‎

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

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

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

‎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
[この書籍販売業者の本を検索: Librairie Internet Philoscience]

€ 7.00 購入

‎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

‎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

‎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
[この書籍販売業者の本を検索: Lynge & Son]

€ 53.72 購入

‎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
[この書籍販売業者の本を検索: 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 (& 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

‎KANT‎

‎Logique‎

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

書籍販売業者の参照番号 : 40114

‎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

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

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

‎KANT Immanuel.‎

‎LOGIC.‎

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

‎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

‎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

‎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
[この書籍販売業者の本を検索: 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 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.‎

‎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 ISBN : 0399149457 9780399149450

Biblio.com

Lawrence Jones
Australia Australia Austrália Australie
[この書籍販売業者の本を検索: 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 ISBN : 0399149457 9780399149450

Biblio.com

Harvest Moon Farm Book Cellar
United States Estados Unidos Estados Unidos États-Unis
[この書籍販売業者の本を検索: 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.‎

‎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

‎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

‎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
[この書籍販売業者の本を検索: 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
[この書籍販売業者の本を検索: About Books]

€ 37.19 購入

検索結果数 : 2,221 (45 ページ)

最初のページ 前ページ 1 ... 17 18 19 [20] 21 22 23 ... 26 29 32 35 38 41 44 ... 45 次ページ 最後のページ