Logique

145 résultats

Trier parTitre A - Z

Pertinence Auteur A - Z Auteur Z - A Titre A - Z Titre Z - A Prix croissant Prix décroissant Libraire A - Z Libraire Z - A

Par page25

25 50 100

Filtres

Hintikka, K Jaakko J [from the library of Alonzo Church]Biblio.com

Distributive Normal Forms in the Calculus of Predicates : Acta Philosophica Fennica Fasc. VI

1953009122Helsinki Finland: Societas Philisophica 1953. Very Good condition. 17.5 cm x 25 cm. A solid copy. Bound in the original paper wrappers a little rubbed and mildly sun-darkened at the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Entirely in English. Bibliographical references. Complete with page of corrections. Very early work by the Finnish philosopher and logician Jaakko Hintikka -- currently Professor of Philosophy at Boston University. Regarded by many as the founder of formal epistemic logic and of game semantics for logic Hintikka has made significant contributions to epistemology language theory mathematical logic philosophical logic the philosophies of mathematics and science. He was awarded the Rolf Schock prize in logic and philosophy in 2005 "for his pioneering contributions to the logical analysis of modal concepts in particular the concepts of knowledge and belief." 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. Very Good condition. 73pp. Great Packaging Fast Shipping. Societas Philisophica Paperback

Ivakhnenko, A G [Alexey / Aleksei / Aleksey Grigorevich] [from the library of Alonzo Church]Biblio.com

Electroautomatic : Elements of the theory of electrical control systems Elektroautomatika Elektroavtomatika

1954007867Kiev: State Technical Press of Ukrainian SSR 1954. Very Good condition. SEE PHOTOS. 14 cm x 21 cm. A solid copy. Square and tight. Minor bumps/rubbing to corners. Inner hinges are sound. Pages are clean crisp and unmarked. This is the original 1954 Russian language edition. Since our book listing service does not offer the capability to enter titles using the Cyrillic alphabet the bibliographical data given above are based on an automated translation from the Russian using Babel Fish Altavista. Bound in the original blue boards with a blue cloth spine lettered in shiny gold. The author A. G. Ivakhnenko was born in the Ukraine in 1913. This book is one of his earliest publications probably the 3rd. With more than 30 monographs and over 400 published scientific articles to his credit Professor Ivakhnenko has made numerous major contributions to the fields of cybernetics automatic control adaptive learning systems and infomatics. His most influential invention is probably the Group Method of Data Handling GMDH also known as Polynomial Neural Networks. GMDH is widely used to identify unknown relationships of complex systems to solve a multitude of problems in medicine business sociology and other fields. Ivakhnenko also developed the algorithms on which the artificial intelligence tool KnowledgeMiner is based and was chief editor of the journal Avtomatika. This copy 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 there is a paper laid-in with bibliographic data concerning the book that appears to be written in Dr. Church's hand. 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. Hardcover. Very Good condition/No dust acket. 8vo. 291pp. Great Packaging Fast Shipping. State Technical Press of Ukrainian SSR Hardcover

About Books · États-Unis1 250,00 $US≈ 1 057,63 €

Bierich, Marcus [from the library of Alonzo Church]Biblio.com

Freges Lehre von dem Sinn und der Bedeutung der Urteile und Russells Kritik an dieser Lehre

1951009131Hamburg Germany: Universität Hamburg 1951. Good condition. 21 cm x 30 cm. Bound in plain unprinted blue stiff card covers with a black spine. Edges of the cover are mildly faded with closed tears and a few tiny chips. Internal condition is FINE. NO owner's name or bookplate. Pages have text on one-side rectos only. This is probably a typescript carbon copy. Handwritten symbols and diagrams have been added to the text as well as a few ink corrections apparently by the author. Pages are otherwise clean and crisp. Gottlob Freges. Bertrand Russell. Subtitle: "Dissertation zur Erlangung des Doktorgrades der Philosophischen Fakultät der Universität Hamburg." Bierich's faculty advisors for this doctoral thesis were Prof. Dr. J. König and Prof. Dr. W. Flitner. On the front cover is a brief note: "Personal from author." 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 1. Auflage. Stiff card covers Softcover. Good condition. vi 95pp. Great Packaging Fast Shipping. Universität Hamburg Paperback

About Books · États-Unis150,00 $US≈ 126,92 €

Bartlett, James Michael [from the library of Alonzo Church]Biblio.com

Funktion und Gegenstand : Eine Untersuchung in der Logik von Gottlob Frege

1961009128München: M. Weiss 1961. Very Good condition. 15 cm x 21 cm. A solid copy -- square and tight. Bound in the original cloth-backed paper wrappers. NO owner's name or bookplate. Pages are age-toned but clean and unmarked. Doctoral dissertation for Dr. Phil. from Ludwig-Maximilians-Universität in München. Text in German. Contains passages from the Frege Nachlass. This dissertation is discussed by Christian Thiel in his 1965 study SINNUND BEDEUTUNG IN DER LOGIK GOTTLOB FREGES. Printed errata slip has a few additional corrections handwritten in ink. 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 1. Auflage. Softcover. Very Good condition. 93pp. Great Packaging Fast Shipping. M. Weiss Paperback

About Books · États-Unis150,00 $US≈ 126,92 €

Dresden, Arnold [from the library of Professor Alonzo Church]Biblio.com

Introduction to the Calculus

1940006437New York: Henry Holt and Company 1940. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Review Copy with publisher's printed ad on the front pastedown endpaper saying the book is "a new and impressively different introductory text." and listing $3.40 as the price. Bound in the original bluish-green cloth lettered in gold on the spine. 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. 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. Hardcover. Very Good condition/No Jacket. 8vo. xii 428pp. Great Packaging Fast Shipping. Henry Holt and Company Hardcover

About Books · États-Unis150,00 $US≈ 126,92 €

Logique

Filtres actifs

Siècle

Langage

Ajouté

Sujets

Catalogues

Filtres actifs

Siècle

Langage

Ajouté

Sujets

Catalogues

Filtres actifs

Siècle

Langage

Ajouté

Sujets

Catalogues