|
Japan Fuji International Workshop on Functional and Logic Programming 1995 : Susono shi; Tetsuo Ida; Masato Takeichi
Fuji International Workshop on Functional Logic Programming: Susono Japan July 17-19 1995
World Scientific Pub Co Inc 1995-12. Hardcover. Good. World Scientific Pub Co Inc hardcover
Referencia librero : SONG9810224370 ISBN : 9810224370 9789810224370
|
|
|
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
Referencia librero : SONG0387515275 ISBN : 0387515275 9780387515274
|
|
|
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
Referencia librero : 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
Referencia librero : 15144 ISBN : 8773070378 9788773070376
|
|
|
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
Referencia librero : 009096
|
|
|
Jimmy Guieu
I figli del diluvio
Collana Urania n.55
|
|
|
Jimmy Guieu
L'ultimo rifugio
Collana Urania n.166
|
|
|
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
Referencia librero : SKU-KEV-448
|
|
|
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
|
|
|
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
Referencia librero : Cyb-7238
|
|
|
Johnston Mark D
The Spiritual Logic of Ramon Llull
Clarendon press 1987 352 pages 13 8x2 6x21 6cm. 1987. Cartonné jaquette. 352 pages.
Referencia librero : 100127362
|
|
|
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
Referencia librero : 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
Referencia librero : 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
Referencia librero : 48598
|
|
|
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
Referencia librero : Cyb-2099
|
|
|
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.
Referencia librero : 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
Referencia librero : Cyb-7109
|
|
|
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.
Referencia librero : 40114
|
|
|
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 (& 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
Referencia librero : 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 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
Referencia librero : 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
Referencia librero : 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
Referencia librero : 003744
|
|
|
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.
|
|
|
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
Referencia librero : R320081411
|
|
|
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
Referencia librero : 009151 ISBN : 0399149457 9780399149450
|
|
|
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
Referencia librero : 019889 ISBN : 0399149457 9780399149450
|
|
|
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
Referencia librero : 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
Referencia librero : 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
Referencia librero : 48382
|
|
Recibir por correo electrónico
Descargar en documento PDF
Flujo RSS
Link permanente
