‎TENNANT, NIEL.‎
‎Natural Logic.‎

‎ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (An observation on the product of Silver's forcing - Recursively unsolvable algorithmic problems and related questions reexamined - Lectures on large cardinal axioms - Indescribability properties and small large cardinals - Marginalia to a theorem of Silver - Computation theories : An axiomatic approach to recursion on general structures - Closed models and hulls of theories - Axioms of choice in Morse-Kelley class theory - First-order logic and its extensions - Set theory in infinitary languages - Sur la méthode en histoire de la logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)‎

‎Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages‎

‎ 1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy‎

‎Daedalus - Journal of the American Academy of Arts and Sciences - Winter 1988 - Artificial Intelligence , (One AI or Many ? - Making a mind versus modeling the brain : Artificial intelligence back at a branchpoint - Natural and artificial intelligence - Artificial intelligence : An aperçu - Neural nets and artificial intelligence - The new connectionism : Developing relationships between neuroscience and artificial intelligence - Real brains and artificial intelligence - Intelligence as an emergent behavior, or, the songs of Eden - The propects for building truly intelligent machines - Making machines (and artificial intelligence) see - Artificial intelligence and psychoanalysis : A new alliance - Much ado about not very much - When philosophers encounter artifical intelligence - Mathematical logic in artificial intelligence)‎

‎American Academy of Arts and Sciences , Daedalus Malicorne sur Sarthe, 72, Pays de la Loire, France 1988 Book condition, Etat : Bon paperback, editor's white printed wrappers, illustrated by a flower blue and green grand In-8 1 vol. - 319 pages‎

‎a few black and white text-figures 1st edition, 1988 Contents, Chapitres : Seymour Papert : One AI or many ? - Hubert L. Dreyfus and Stuart E. Dreyfus : Making a mind versus modeling the brain : Artificial intelligence back at a branchpoint - Robert Sokolowski : Natural and artificial intelligence - Pamela McCorduck : Artificial intelligence : An aperçu - Jack D. Cowan and David H. Sharp : Neural nets and artificial intelligence - Jacob T. Schwartz : The new connectionism : Developing relationships between neuroscience and artificial intelligence - George N. Reeke, Jr., and Gerald M. Edelman : Real brains and artificial intelligence - W. Daniel Hillis : Intelligence as an emergent behavior, or, the songs of Eden - David L. Waltz : The propects for building truly intelligent machines - Anya Hurlbert and Tomaso Poggio : Making machines (and artificial intelligence) see - Sherry Turkle : Artificial intelligence and psychoanalysis : A new alliance - Hilary Putnam : Much ado about not very much - Daniel C. Dennett : When philosophers encounter artifical intelligence - John McCarthy : Mathematical logic in artificial intelligence near fine copy, the editor's wrappers are near fine, lightly yellowin, corners very lightly folded, inside is fine, clean and unmarked ‎

‎The Young Darwin and His Cultural Circle. A study of influences which helped shape the language and logic of the first drafts of the theory of natural selection.‎

‎1978 xii, 242 p., 6 pls, cloth (dust jacket). Studies in the History of Modern Science). Ex library Dr. A. Brouwer (with his signature).‎

‎Logic and Arithmetic. Natural Numbers.‎

‎ Oxford, At the Clarendon Press 1974, 225x140mm, X - 219pages, editor's binding with jacket. Book in good condition.‎