|
Greniewski Henryk; & Krystyn Bochenek; Romuald Marczynski from the library of Alonzo Church
Application of Bi-Elemental Boolean Algebra to Electronic Circuits in Studia Logica Tom II 1955 Odbitka Autorska
Wroclaw: Studia Logica 1955. Good condition. 17 cm x 23.5 cm. Bound in the original wrappers browned and chipped at the edges. Front wrapper present but separated at the fold. NO owner's name or bookplate. Internal condition is Very Good. Pages are clean and unmarked but for a few brief marginal ink corrections possibly in the handwriting of Alonzo Church. Text is in English except for brief Polish and Russian summaries at the end. Bibliographical references. 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 the Church-Turing 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. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. 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. Good condition. 76pp. Great Packaging Fast Shipping. Studia Logica Paperback
Bookseller reference : 009105
|
|
|
Grieder Alfons; & Job Van Eck; Geoffrey Hunt; et al; from the library of Alonzo Church
Syllogistics and Some of Its Extensions in the Context of Relational Logic in Logique et Analyse Nouvelle S�rie 115 29e Ann�e Septembre 1986
Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1986. Very Good condition. 16 cm x 24 cm. A solid copy. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 9 papers all in English including: IN DEFENSE OF TEMPORALLY RELATIVE DEONTIC LOGIC A REPLY TO PROFESSOR CASTANEDA by Job van Eck; and THE FORMAL STRUCTURE OF THE LIAR PARADOX by Geoffrey Hunt. 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 the Church-Turing 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. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. 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 premi�re �dition. Softcover. Very Good condition. pp. 251-385. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
Bookseller reference : 009114
|
|
|
GRIGORIEFF (S.)
L'indecidabilité en mathématiques depuis les travaux de Gödel et de Cohin
Strasbourg, Université Louis Pasteur, 1975. 50 g In-8 broché, 18 pp., [2] ff.. De la collection Fundamenta Scientae, Cahiers du Séminaire sur les Fondements des Sciences. . (Catégories : Mathématiques, Logique, )
Bookseller reference : 10343
|
|
|
GRIZE Jean-Blaise, GILBERTE PIERAUT- LE BONNIEC
La contradiction essai sur les opérations de la pensée.
Broché, 21X13 cm, 1930, 206 pages, collection le psychologie, éditions PUF. Couverture avec de petites marques d'usage, bon état.
Bookseller reference : 34381
|
|
|
GRIZE, J.-B; PIÉRAUT-LE BONNIEC; G
La contradiction - essai sur les opérations de la pensée
puf, coll. « Le psychologue » 1983 In-8 broché 21 cm sur 18,4. 206 pages. Dos légèrement passé, intérieur frais. Bon état d’occasion.
Bookseller reference : 130364 ISBN : 2130375529
|
|
|
GRIZE.- COLLECTIF
Pensée naturelle logique et langage. Hommage à Jean-Blaise Grize. ‘Université de Neuchâtel Faculté des Lettres’
Neuchâtel, Secrétariat de l’Université, 1987, gr. in-8vo, 300 p., brochure originale.
Bookseller reference : 132495aaf
|
|
|
Grosjean Pierre V.; & Grieder Alfons; et al; from the library of Alonzo Church
Algebraic Theories of the Syllogism in Logique et Analyse Nouvelle S�rie 101 26e Ann�e Mars 1983
Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1983. Very Good condition. 16 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers with minor crease to one corner of the front cover. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 7 papers -- 1 in French 1 in German and 5 in English including: ON AN APPLICATION OF TRUTH-FUNCTIONS TO THE LOGIC OF PREDICATES by Alfons Grieder. 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 the Church-Turing 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. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. 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 premi�re �dition. Softcover. Very Good condition. 119pp. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
Bookseller reference : 009113
|
|
|
Grzegorczyk (Andrzej)
Zarys arytmetyki teoretycznej
Panstwowe Wydawnictwo Naukowe, Warszawa , Biblioteka Mathematyczna Malicorne sur Sarthe, 72, Pays de la Loire, France 1971 Book condition, Etat : Bon hardcover, under dust-jacket grand In-8 1 vol. - 314 pages
Bookseller reference : Cyb-2100
|
|
|
Grégoire Eric
Logiques non monotones et intelligence artificielle - Collection Langue, Raisonnement, Calcul.
Hermes. 1990. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XIV+224 pages - petite étiquette collée sur le 2ème plat.. . . . Classification Dewey : 160-Logique
Bookseller reference : R100073345
|
|
|
GUENON RENE.
I principi del calcolo infinitesimale.
In 8°, br. edit., pp. 113,(1); copia in buono stato; traduzione senza dati di stampa, di: Les Principes du calcul infinitésimal, pubblicato nel 1946. (YB10/d) (La spedizione standard è SEMPRE tracciata con raccomandata - piego di libri, eventuale FATTURA da richiedere all'ordine) (YB10/d)
|
|
|
Guillon Claude
L'invention freudienne : Logiques et méthodes d'une découverte
Presses universitaires de Rennes cliniques psychologiques Broché 1994 In-8 (15.5 x 24 cm), broché, couverture illustrée en couleurs, 276 pages ; pliures au dos légèrement incurvé, bords des plats légèrement insolé, étiquette de prix au 4ème plat, bon état général. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
Bookseller reference : cr1191
|
|
|
GUZZO Augusto (Napoli 1894 - Torino 1986)
SIGNIFICARE e DIRE in ARISTOTELE. (IL LOGICISMO aristotelico. I NESSI. Le SOSTANZE PRIME. Dalle cose alle parole. L'Universale) + Sulla LOGICA ARISTOTELICA. 2 stralci da "Filosofia rivista trimestrale", anno VIII, fasc.I, gennaio 1957.
In-8°, pp. 20 (da p. 195 a p. 215 + da p. 76 a p. 84). Brossure riproducenti la copertina della rivista a cura della Bottega d'Erasmo. Segni a biro inop. interni intonsi. GUZZO, venerato docente; dal 1924 al 1932 di filosofia e storia della filosofia alla facoltà di magistero dell'Università di Torino, fondando la rivista "Erma", e dal 1932 al 1934 filosofia morale presso l'Università di Pisa, dove fu anche direttore del seminario di filosofia della Scuola normale superiore. Nel 1934 tornò a Torino, dove insegnò prima filosofia morale (succedendo a Erminio Juvalta) e poi, dal 1939 al 1964, filosofia teoretica (succedendo ad Annibale Pastore), fondando, insieme con Nicola Abbagnano, la sezione piemontese dell'Istituto Italiano per gli Studi filosofici.
|
|
|
GÖDEL TWO TITLES ABOUT
Two Titles About: 1) Gödel's Proof, by Nagel & Newman; 2) Gödel's Theorem Simplified, by H.J. Gensler,
9780819138699 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Print on Demand title, produced to the highest standard, and there would be a delay in dispatch of around 10 working days. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal
|
|
|
H.A.G. Braakhuis, C.H.J.M. Kneepkens, L.M. De Rijk (eds.);
English Logic and Semantics, from the End of the Twelfth Century to the Time of Ockham and Burleigh. Acts of the 4th European Symposium on Mediaeval Logic and Semantics, Leiden-Nijmegen, 23-27 April 1979,
Turnhout, Brepols, 1979 Paperback, VII+417 p., 165 x 240 mm. ISBN 9789070419028.
Bookseller reference : 33844
|
|
|
Habermas Jürgen
Logique des sciences sociales et autres essais - Collection philosophie d'aujourd'hui.
Presses Universitaires de France. 1987. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Intérieur frais. 459 pages - couverture contrepliée.. . . . Classification Dewey : 160-Logique
Bookseller reference : R100055131 ISBN : 2130399347
|
|
|
HACKER, P.M.S
Wittgenstein
Editions Points, Collection "Essais/Les grands philosophes" n°437 - 2000 - In-12, broché, couverture illustrée en N&B - 91 p.
Bookseller reference : 114005
|
|
|
Hacking Ian
Logic of Statistical Inference
Cambridge: Cambridge University Press 1965. First printing. Hardcover. Very Good/Very Good. 8vo. 6 v-ix 1 1-232 pp. Bound in green cloth with gold lettering title and author's last name in gilt blocked in maroon on the spine. Price of $7.50 on front flap of jacket. Slater 366. A presentable copy of Hacking's first book. A Very Good book with some underlining throughout the text with a name on the front pastedown and a few tiny spots of discoloration to the textblock in a Very Good dust jacket with traces of edge wear on the rear panel and two small spots of discoloration on the rear panel of the jacket. <br/><br/> Cambridge University Press hardcover
Bookseller reference : 00006802
|
|
|
HACKING, I
Why Does Language Matter to Philosophy? Pb
9780521099981 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
|
|
|
HACKING, Ian; DUFOUR, Michel:
L’ouverture au probable. Éléments de logique inductive.
paris, Armand Colin, 2004, in-8vo, 349 p., cartonnage original.
Bookseller reference : 96775aaf
|
|
|
Haeckel (Ernst ; 1834-1919) :
Histoire de la création des êtres organisés d'après les lois naturelles. Traduit de l'allemand par le docteur Ch. Letournau et revu sur la 7è édition allemande.
Paris, Scheicher pères, [1879] ; in-8°, demi-chagrin vert foncé, dos à nerf, pièces d'auteur et de titre rouge et doré (reliure de l'époque) ; X, 601 p., frontispice et XV planches hors-texte, dont 3 dépliantes, Bibliographie p.563-568, index.
Bookseller reference : 22801
|
|
|
HAGEMANN Georg
Logik und Noëtik (Ein Leitfaden für akademische Vorlesungen sowie zum Selbstunterrichte)
Freiburg im Breisgau, Herder 1879 xi + 206pp., cart.cover with leather spine, 4th ed., in the series "Elemente der Philosophie" vol.I, bit used, G
Bookseller reference : F35821
|
|
|
HAGEMANN Georg
Logik und Noëtik (Ein Leitfaden für akademische Vorlesungen sowie zum Selbstunterrichte)
xi + 206pp., cart.cover with leather spine, 4th ed., in the series "Elemente der Philosophie" vol.I, bit used, G
|
|
|
Hallaq Hallaq Wael B
Ibn Taymiyya Against the Greek Logicians
Oxford university press 1993 368 pages 14x2 6x22cm. 1993. Cartonné jaquette. 368 pages.
Bookseller reference : 100125671
|
|
|
Hallden Soren; from the library of Prof. Alonzo Church
On the Logic of `Better'
Lund / Copenhagen: CWK Gleerup / Ejnar Munksgaard 1957. INSCRIBED by the AUTHOR: "with the writer's compliments" but unsigned. From the library of Prof. Alonzo Church. Very Good condition. NOT a library discard. No. 2 in the Library of Theoria series edited by Ake Petzall. A pioneer work in the logic of preference. From: The Philosophy of S�ren Halld�n edited by K. Segerberg and N-E Sahlin: "The contraposition principle -- In On the Logic of �Better� S�ren Halld�n defends a principle that says that the better the presence of something is the worse is its absence.5 If coffee is better than tea then not-tea is better than not-coffee. Or to take a more extreme example if not-cancer is better than not-flu then flu is better than cancer � which on the surface sounds quite reasonable. Halld�n�s argument in favour of this principle runs as follows: Making a value comparison generally means not comparing A to B but rather comparing A without B to B without A. To say that it is better to be a philosopher than to make money using Aristotle�s own examples is to say that to be a philosopher and not making money is better than to make money and not be a philosopher. Making money and being a philosopher is not considered a possibility." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. 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. This book doesn't have Alonzo Church's name anywhere but see our inventory for several other items that do. INSCRIBED by the AUTHOR. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 112pp. Great Packaging Fast Shipping. CWK Gleerup / Ejnar Munksgaard Paperback
Bookseller reference : 023568
|
|
|
Haller, Rudolf (Hrsg.)
Sprache und Erkenntnis als soziale Tatsache. Beiträge des Wittgenstein-Symposiums von Rom 1979.
Wien, Hölder-Pichler-Tempsky 1981. gr.-8°, 147 S., 5 Bl. Vlgsanz., OKart., berieb., bestoß., Einbd. leicht verschmutzt, Stellspuren, Vortit. m. hs. Bleistiftverm., blindgepr. Besitzerstemp. "Prof. Werner Hubertus Leinfellner" auf Innentit.
Bookseller reference : PHIL1944
|
|
|
Hamilton (A.G.)
Logic for Mathematicians - Revised Edition
Cambridge, University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1988 Book condition, Etat : Très Bon paperback, editor's printed wrappers grand In-8 1 vol. - 236 pages
Bookseller reference : Cyb-7237
|
|
|
HANISCH, Manfred:
Dialektische Logik und politisches Argument. Untersuchungen zu den methodischen Grundlagen der Hegelschen Staatsphilosophie. Monographien zur Philosophischen Forschung. Band 204.
Athenäum, Hain, Scriptor, Hanstein, Forum Academicum, 1981, gr. in-8vo, 306 S., Original-Broschüre.
Bookseller reference : 111061aaf
|
|
|
Hanson Norwood Russell
What I Do Not Believe and Other Essays
<p>Humanities Press publication and Synthese Library Hard cover in blue boards Front hinge has lost some glue but intact Unmarked text Mylar protected DJ has edge wear tears missing pieces. Philosophy Essays</p> Humanities Press / D. Reidel Publishing Company hardcover
Bookseller reference : biblio268
|
|
|
HARRISON Bernard.
FORM AND CONTENT. LIBRARY OF PHILOSOPHY AND LOGIC.
|
|
|
Harrison, Frank R.
Deductive Logic and Descriptive Language
x, 534 pages. With Index. Light wear to covers with some marks.
|
|
|
HARTSEN F.-A.
Principes de logique exposés d'après une méthode nouvelle. Ouvrage suivi d'un traité sur les principes de l'esthétique
Paris/ Louvain, F. Savy/ Peeters 1872 iii + 156pp., br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80358
Bookseller reference : F80358
|
|
|
HARTSEN F.-A.
Principes de logique exposés d'après une méthode nouvelle. Ouvrage suivi d'un traité sur les principes de l'esthétique
iii + 156pp., br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80358
|
|
|
Healy Edwin F
Medical Ethics
Chicago Illinois: Loyola University Press 1956. Near Fine condition in bright shiny Very Good Dust Jacket a few tiny closed tears to jacket each less than one-half inch long. No chips. No creases. No fading. No owner's name or bookplate. No remainder marks. No underlining. No highlighting. No margin notes. Clean square tight and unmarked. Sharp corners. Pages are fresh and crisp. Index. From the Dust Jacket: "The most complete and useful book on its subject because -- MEDICAL ETHICS covers every ethical problem that arises in any branch of medicine or in connection with the use of the most recently developed therapies.". Third printing. Hardcover. Publisher's black cloth/DJ Not Price Clipped 6.00. 8vo. xxii 440pp. Loyola University Press Hardcover
Bookseller reference : 002670
|
|
|
Heaton John
Introducing Wittgenstein
Totem Books 2001. Soft Cover. Good. Book shows moderate wear/ spine tight pages clean/ covers slightly creased; moderate edge wear/ corners creased/ several page tips creased Totem Books paperback
Bookseller reference : 017005 ISBN : 1840460709 9781840460704
|
|
|
Hedman (Shawn)
A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability and Complexity
Oxford University Press , Oxford Texts in Logic Malicorne sur Sarthe, 72, Pays de la Loire, France 2004 Book condition, Etat : Très Bon paperback, editor's printed and illustrated wrappers grand In-8 1 vol. - 451 pages
Bookseller reference : Cyb-7234
|
|
|
Hegel
Encyclopedie Des Sciences Philosophiques En Abrégé (1830)
Gallimard, Paris 1970. Broschierter Einband Sehr gut
Bookseller reference : 015345
|
|
|
HEGEL G.W.F.
INTRODUCTION A LA SCIENCE DE LA LOGIQUE. CONCEPT GENERAL DE LA LOGIQUE.
Nathan 1985, In-8 broché. 102 pages. Trés bon état.
|
|
|
HEGEL G.W.F.
Précis de l'encyclopédie des sciences philosophiques. La logique / La philosophie de la nature / la philosophie de l'esprit
Paris, Librairie philosophique J. Vrin, 1978, 15,5 x 24, 320 pages cousues sous couverture souple imprimée. Traduit de l'allemand par J. gibelin.
Bookseller reference : PHILOSOP44440322
|
|
|
HEIDEGGER Martin
Domande fondamentali della filosofia. Selezione di "problemi" della "logica". Traduzione di Ugo Maria Ugazio
In-8°, pp. 175, brossura editoriale.
|
|
|
Heinrich Scholtz
Storia della Logica
Heinrich Scholtz Storia della Logica. Milano, Silva 1962 italian, 158 ST1181PBrossura editoriale,volume in buone condizioni, lievi segni di usura sulla copertina (dorso sbiadito), interno in ottimo stato, legatura salda, etichetta "Ex Libris" sulla prima pagina158 pagine circacopertina come da foto
|
|
|
Hellerstein Nathaniel; Hellerstein N. S. K
Delta: A Paradox Logic
Hackensack New Jersey U.S.A.: World Scientific Pub Co Inc 1998 Book falls away at the spine at page 19. Inscription to the previous owner on the first page. Text is clean. Cloth. Good/Good. World Scientific Pub Co Inc hardcover
Bookseller reference : 001037 ISBN : 9810232438 9789810232436
|
|
|
Henin Silvio; Temporelli M. (cur.)
Il computer dimenticato. Charles Babbage, Ada Lovelace e la ricerca della macchina perfetta
brossura Charles Babbage e Ada Lovelace siglano una delle più coinvolgenti collaborazioni scientifiche nella storia delle invenzioni. Lui, i cui interessi spaziavano dalla teologia all'economia industriale, fu inventore di numerosi congegni, tra cui la Macchina alle differenze e la Macchina analitica, antesignana (un secolo prima!) del moderno computer. Lei, Ada, figlia del poeta Lord Byron, fu la migliore interprete della visione di Babbage, anticipando concetti propri dell'information technology. Sullo sfondo dell'Inghilterra vittoriana, il volume racconta i passi di questo dinamico duo, in un intreccio di scienza, tecnologia e umanità.
|
|
|
Henkin Leon
Proceedings of the Tarski Symposium Proceedings of Symposia in Pure Mathematics Vol 25
Providence RI: American Mathematical Society 1974. Ex-Library. Hardcover. Fair/None. Proceedings of Symposia in Pure Mathematics Vol 25 Henkin L. Burgundy cloth boards with gilt titling on front and spine; front board bowed. Backstrip repaired by tape at heel and mid-spine. Light foxing on end papers and page edges. Scars on both pastedowns where bookplates removed. Binding is sound. Date stamped in black on contents page and tiny pencil ticks on contents entries. Interior is otherwise unmarked. Small quarto. BOOK INFO: 'Alfred Tarski has been known to four generations of logicians and students as a scholar of extraordinary breadth and depth. His influence on the development of foundational studies in logic mathematics and the philosophy of science is due not only to his own investigations and numerous writings but also to his influence as a teacher and a source of energy and organization in the international scientific community during the past half century. It was ony natural therefore that as his 70th birthday approached the idea should have arisen in many quarters to utilize the occasion for an international symposium not only to render public acknowledgement of Tarski's immense contribution but to assess the impact and present status of the many domains to which he put his hand. The symposium was held at the University of California Berkeley during June 23-30 1971.' from the foreword 36 papers presented are compiled here covering topics from algebra the Pasch axiom set theory and quantum field theory. Edited by Leon Henkin John Addison C. C. Chang William Craig Dana Scott and Robert Vaught. Includes bibliography. American Mathematical Society hardcover
Bookseller reference : 15512 ISBN : 0821814257 9780821814253
|
|
|
HERBRAND Jacques
Ecrits logiques
Paris, Presses Universitaires de France, "Bibliothèque de philosophie contemporaine", 1968, 13,5 x 22, 244 pages cousues sous couverture imprimée. En frontispice, portrait photographique de Jacques Herbrand. Préface de Jean van Heijenoort. Notice bibliographique par Claude Chevalley et Albert Lautmann. Ainsi qu'une note sur la pensée de Herbrand par Claude Chevalley.
Bookseller reference : MATH545421117
|
|
|
Herken Rolf editor
The Universal Turing Machine : A Half-Century Survey
Oxford: Oxford University Press 1988. A very nice copy. Near Fine EX-LIBRARY. Bright clean square and reasonably tight. Inner hinges are perfect. WITHDRAWN stamp and a few other library markings. Text pages are fresh and crisp. No underlining. No highlighting. No margin notes. Bibliographical references. Handsomely bound in the original blue cloth stamped in red shiny gold on the spine and front cover. Among the international specialists in logic computability mathematics biology physics linguistics and cognitive science who contributed to this volume are: Andrew Hodges Stephen C. Kleene Robin Gandy Solomon Feferman Martin Davis Michael A. Arbib Michael J. Beeson Charles H. Bennett Allen H. Brady Gregory J. Chaitin Michael Conrad Elias Dahlhaus Johann A. Makowsky Jens Erik Fenstad David Finkelstein Oded Goldreich Yuri Gurevich Brosl Hasslacher Moshe Koppel Oswald Wiener etc. From the preface: "The papers in this volume were written on the occasion of the fiftieth anniversary of the publication of Alan Turing's paper ON COMPUTABLE NUMBERS WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM in 1937. Turing's paper contained what may now be called Turing's Thesis namely that every 'effective' computation can be programmed on a Turing machine. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic and it presented the invention of the universal Turing machine. It is that publication of this idea that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the 'computer age.'" . First Edition. Hardcover. Near Fine EX-LIBRARY/No dust jacket. 8vo. xiv 661pp. 675 total pages. Great Packaging Fast Shipping. Oxford University Press Hardcover
Bookseller reference : 007452 ISBN : 0198537417 9780198537410
|
|
|
HERMANT P. & VAN DE WAELE A.
Les principales théories de la logique contemporaine
Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
Bookseller reference : F38708
|
|
|
HERMANT P. & VAN DE WAELE A.
Les principales théories de la logique contemporaine
Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état
Bookseller reference : F38921
|
|
|
HERMANT P. & VAN DE WAELE A.
Les principales théories de la logique contemporaine
303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état
|
|
|
HERMANT P. & VAN DE WAELE A.
Les principales théories de la logique contemporaine
303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
|
|
|
Hermes Hans; & Heinrich Scholz; from Alonzo Church's library
Ein Neuer Vollst�ndigkeitsbeweis f�r das Reduzierte Fregesche Axiomensystem des Aussagenkalk�ls
Leipzig Germany: S. Hirzel 1937. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 1. Reprinted from Deutsche Mathematik vol. 1 1936 pp. 733-777. This was reviewed by C. H. Langford in Alonzo Church's Journal of Symbolic Logic Volume 2 Issue 2 June 1937 p. 94 This volume was among 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 volume 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. Softcover. Very Good condition. Illus. by NOT a library discard. 40pp. Great Packaging Fast Shipping. S. Hirzel Paperback
Bookseller reference : 023618
|
|
Receive by email
Download as PDF document
RSS feed
Permanent link
