Hermes Hans; from Alonzo Church's library
Eine Axiomatisierung der Allgemeinen Mechanik
Leipzig Germany: S. Hirzel 1938. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 3. An axiomatization of general mechanics. Research on logic and the foundations of the exact sciences Issue 3 Leipzig 1938. This was reviewed by Barkley Rosser in Church's Journal of Symbolic Logic Volume 3 Issue 3 1938 119-120. 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. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 48pp. Great Packaging Fast Shipping. S. Hirzel Paperback
Bookseller reference : 023615
|
|
Hermes Hans; from Alonzo Church's library
Semiotik Eine Theorie der Zeichengestalten als Grundlage f�r Untersuchungen von Formalisierten Sprachen
Leipzig Germany: S. Hirzel 1938. Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 5. This was reviewed by W. V. Quine in Church's Journal of Symbolic Logic Volume 4 Issue 2 1939 87-88. 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. One page does have brief margin notes that appear to be in his 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. Softcover. Good condition. Illus. by NOT a library discard. 24pp. Great Packaging Fast Shipping. S. Hirzel Paperback
Bookseller reference : 023614
|
|
Heyting A. from the library of Alonzo Church
Les Fondements des Mathematiques Intuitionnisme Theorie de la Demonstration
Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and tight. Bound in the original paper wrappers a little sun-faded at the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Les Fondements des Math�matiques Intuitionnisme Th�orie de la D�monstration. Collection de logique math�matique s�rie A No. IX. 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. iv 92pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
Bookseller reference : 009121
|
|
HILBERT D. UND W. ACKERMANN. THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Grundz�ge der theoretischen Logik.
Berlin Springer 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away no loss of letters. VIII120 pp. � First edition. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen Band XXVII. <br><br>In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og G�ttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundz�ge der Theoretischen Logik' the offered item. It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem 'Entscheidungsproblem'. The first of these questions was answered just a year later by Kurt G�del in his doctorial dissertation 'Die Vollst�ndigkeit der Axiome des logischen Funktionenkalk�ls'. This result is known as G�del's completeness theorem. Two years later G�del published his famous 1931 paper '�ber formal unentscheidbare S�tze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic capable of modeling arithmetic is either incomplete or inconsistent G�del's second incompleteness theorem. The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by G�del Church and Turing rank amongst the most important contributions to mathematical logic ever. hardcover
Bookseller reference : 46101
|
|
HILBERT D. UND W. ACKERMANN. THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Grundz�ge der theoretischen Logik.
Berlin Springer 1928. 8vo. Uncut in orig. printed wrappers. VIII120. With the name of Bent Schultzer Former Danish professor in philosophy on first leaf. Internally clean. � First edition. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen Band XXVII. <br><br>In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og G�ttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundz�ge der Theoretischen Logik' the offered item. It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem 'Entscheidungsproblem'. The first of these questions was answered just a year later by Kurt G�del in his doctorial dissertation 'Die Vollst�ndigkeit der Axiome des logischen Funktionenkalk�ls'. This result is known as G�del's completeness theorem. Two years later G�del published his famous 1931 paper '�ber formal unentscheidbare S�tze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic capable of modeling arithmetic is either incomplete or inconsistent G�del's second incompleteness theorem. The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by G�del Church and Turing rank amongst the most important contributions to mathematical logic ever. unknown
Bookseller reference : 49908
|
|
Hilbert D. - Ackermann W.
GRUNDZUGE DER THEORETISCHEN LOGIK
In 8, tela ed., pp. 155.Es. con qualche brunitura alla cop., internamente buono stato.In lingua tedesca.Luogo di pubblicazione BerlinoEditore SpringerAnno pubblicazione 1949Collana Die Grundleheren der Mathematischen Wissenschaften in Einzeldarstellungen band XXVIIMateria/Argomento Logica
|
|
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Grundzüge der theoretischen Logik.
Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp.
Bookseller reference : 46101
|
|
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Grundzüge der theoretischen Logik.
Berlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean.
Bookseller reference : 49908
|
|
Hilpinen, Risto
Deontic Logic: Introductury and systematic Readings
Dodrecht-Holland, D. Reidel Publishing Company, 1971. Gr.8°; 182 pages; [Englisch]; 1. Auflage Orig.-Leinen mit OU Schutzumschlag am Rücken gebräunt und mit kleinem Einriß; Besitzeintrag Synthese Library
Bookseller reference : 78655
|
|
Hindley Charles d. Egan Pierce. Life in London Egan Pierce. Finish to the adventures of Tom Jerry and Logic Moncrieff W.
The true history of Tom and Jerry : or The day and night scenes of life in London from the start to the finish! 1890 Leather Bound
2019. Leather Bound. New. Leather Binding on Spine and Corners with Golden Leaf Printing on round Spine. Reprinted in 2019 with the help of original edition published long back 1890. This book is printed in black & white sewing binding for longer life Printed on high quality Paper re-sized as per Current standards professionally processed without changing its contents. As these are old books we processed each page manually and make them readable but in some cases some pages which are blur or missing or black spots. If it is multi volume set then it is only single volume if you wish to order a specific or all the volumes you may contact us. We expect that you will understand our compulsion in these books. We found this book important for the readers who want to know more about our old treasure so we brought it back to the shelves. Hope you will like it and give your comments and suggestions. Lang: - eng Pages 268. EXTRA 10 DAYS APART FROM THE NORMAL SHIPPING PERIOD WILL BE REQUIRED FOR LEATHER BOUND BOOKS. FOLIO EDITION IS ALSO AVAILABLE. hardcover
Bookseller reference : LB1111005542290
|
|
Hindley Charles d. Egan Pierce. Life in London Egan Pierce. Finish to the adventures of Tom Jerry and Logic Moncrieff W.
The true history of Tom and Jerry : or The day and night scenes of life in London from the start to the finish! 1890 Hardcover
2020. Hardcover. New. Lang: - eng Pages 268. Reprinted in 2020 with the help of original edition published long back 1890. This book is Printed in black & white Hardcover sewing binding for longer life with Matt laminated multi-Colour Dust Cover Printed on high quality Paper re-sized as per Current standards professionally processed without changing its contents. As these are old books we processed each page manually and make them readable but in some cases some pages which are blur or missing or black spots. If it is multi volume set then it is only single volume if you wish to order a specific or all the volumes you may contact us. We expect that you will understand our compulsion in these books. We found this book important for the readers who want to know more about our old treasure so we brought it back to the shelves. Any type of Customisation is possible with extra charges. Hope you will like it and give your comments and suggestions. hardcover
Bookseller reference : 1111005542290
|
|
Hindley Charles d. Egan Pierce. Life in London Egan Pierce. Finish to the adventures of Tom Jerry and Logic Moncrieff W.
The true history of Tom and Jerry : or The day and night scenes of life in London from the start to the finish! 1890
2020. Paperback. New. Lang: - eng Pages 268. Reprinted in 2020 with the help of original edition published long back 1890. This book is Printed in black & white sewing binding for longer life with Matt laminated multi-Colour Soft Cover HARDCOVER EDITION IS ALSO AVAILABLE Printed on high quality Paper re-sized as per Current standards professionally processed without changing its contents. As these are old books we processed each page manually and make them readable but in some cases some pages which are blur or missing or black spots. If it is multi volume set then it is only single volume if you wish to order a specific or all the volumes you may contact us. We expect that you will understand our compulsion in these books. We found this book important for the readers who want to know more about our old treasure so we brought it back to the shelves. Any type of Customisation is possible with extra charges. Hope you will like it and give your comments and suggestions. paperback
Bookseller reference : PB1111005542290
|
|
Hinojosa Berrones Jose Antonio signed; from Alonzo Church's library
Humanismo de las Ciencias Volumen II
Monterrey N. L. Mexico: CIA. Editora Nacional Monumel S. A. 1982. INSCRIBED/SIGNED by the AUTHOR directly on the front free endpaper: "Monterrey N. L. Abril 16 de 1982 For Prof. Alonzo Church gratefully signed Jose Antonio Hinojosa Berrones." Good condition. NOT a library discard. With errata sheeted taped to an early blank page. All other pages are clean and unmarked. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Please check our inventory for several others that are signed by him. 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. INSCRIBED/SIGNED by the AUTHOR. Primera Edici�n Limited 1000. Softcover. Good condition. Illus. by NOT a library discard. 71pp. Great Packaging Fast Shipping. CIA. Editora Nacional Monumel, S. A. Paperback
Bookseller reference : 023622
|
|
Hintikka Jaakko; Butts Robert E.; International Congress of Logic Methodology and Philosophy of Scienc
Basic Problems in Methodology and Linguistics Proceedings of the Fifth International Congress of Logic Methodology and Philosophy of Science London Ontario Canada. 1975 pt. 3
1977 hardcover published without jacket/ex-library with usual markings/clean & unmarked text. Hard 321 p. 8vo - over 7¾" - 9¾" tall. D. Reidel Publishing hardcover
Bookseller reference : 024436 ISBN : 9027708290 9789027708298
|
|
Hintikka K. Jaakko J. from the library of Alonzo Church
Distributive Normal Forms in the Calculus of Predicates : Acta Philosophica Fennica Fasc. VI
Helsinki 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
Bookseller reference : 009122
|
|
HINTIKKA JAAKKO. FOUNDING CONTEMPORARY EPISTEMIC LOGIC
Knowledge and Belief. An Introduction to the Logic of the two Notions.
Ithaca New York Cornell University Press 1962. 8vo. Orig. full blue cloth w. blue lettering to spine and front board. Very minor bumping to capitals and minor bleaching to small part of lower spine. Original blue dust-jacket w. red lettering. Spine faded and some minor brownspotting. Stamp to title-page Weston College Library Weston Mass. and stamped library-number and date to verso of title-page. An excellent internally near mint copy in an unusually fine dust-jacket. Not price-clipped. X 179 pp. � The uncommon first edition first issue of Hintikka's seminal main work which also constitutes the main work of contemporary epistemic logic.<br><br>The Finnish born philosopher and logician Jaakko Hintikka born 1929 Professor of Philosophy at the University of Boston is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic philosophy of mathematics and science language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy the philosophical equivalent to the Nobel prize "for his pioneering contributions to the logical analysis of modal concepts IN PARTICULAR THE CONCEPTS OF KNOWLEDGE AND BELIEF ". <br><br>The first edition of this seminal work which has founded contemporary epistemic logic is very difficult to find. The work was reprinted three times between 1962 and 1969 but after that the work was only printed again in 2005.<br>"In 1962 Jaakko Hintikka published "Knowledge and Belief: An Introduction to the Logic of the Two Notions" with Cornell University Press. Almost every paper or a book on epistemic and doxastic logic that has appeared since then has referred to this seminal work. Although many philosophers working in logic epistemology game-theory economics computer science and linguistics mention the book it is very likely that most have never literally had their hands on it much less owned a copy. After a fourth printing in 1969 Knowledge and Belief went out of print and as many of us have found to our dismay it has become increasingly difficult to find used copies at our local shops or online. It is our pleasure to provide the interdisciplinary community with this reprint edition of Knowledge and Belief." Abstract of the re-issue edition Prepared by Vincent F. Hendricks & John Symons King's College Publications 2005.<br><br>In this breakthrough work Hintikka sets out to understand and explain the logical behavior of the two fundamental epistemological notions Knowledge and belief. "The word "logic" which occurs in the subtitle of this work is to be taken seriously. My first aim is to formulate and to defend explicit criteria of consistency for certain sets of statements - criteria which it is hoped will be comparable with the criteria of consistency studied in the established branches of logic. What the statements in question are like is also indicated in the title ." Chapter One Prolegomena p.3.<br><br>"Knowledge and Belief" has been extremely influential from the time of its appearance and continues to be so to this day also due to the fact that epistemic logic has greatly influenced the fields of game theory artificial intelligence and distributed computing. hardcover
Bookseller reference : 36630
|
|
HINTIKKA JAAKKO. FOUNDING CONTEMPORARY EPISTEMIC LOGIC
Knowledge and Belief. An Introduction to the Logic of the two Notions.
Ithaca New York Cornell University Press 1962. 8vo. Orig. full blue cloth w. blue lettering to spine and front board. A bit of bumping to capitals. Original blue dust-jacket w. red lettering. Spine faded and some minor wear to capitals. A tear to front of dust-jacket no loss. Not price-clipped. Old owner's name to front free end-paper. Internally very nice and clean. A very good copy. X 179 pp. � The uncommon first edition first issue of Hintikka's seminal main work which also constitutes the main work of contemporary epistemic logic.<br><br>The Finnish born philosopher and logician Jaakko Hintikka born 1929 Professor of Philosophy at the University of Boston is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic philosophy of mathematics and science language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy the philosophical equivalent to the Nobel prize "for his pioneering contributions to the logical analysis of modal concepts IN PARTICULAR THE CONCEPTS OF KNOWLEDGE AND BELIEF ". <br><br>The first edition of this seminal work which has founded contemporary epistemic logic is very difficult to find. The work was reprinted three times between 1962 and 1969 but after that the work was only printed again in 2005.<br>"In 1962 Jaakko Hintikka published "Knowledge and Belief: An Introduction to the Logic of the Two Notions" with Cornell University Press. Almost every paper or a book on epistemic and doxastic logic that has appeared since then has referred to this seminal work. Although many philosophers working in logic epistemology game-theory economics computer science and linguistics mention the book it is very likely that most have never literally had their hands on it much less owned a copy. After a fourth printing in 1969 Knowledge and Belief went out of print and as many of us have found to our dismay it has become increasingly difficult to find used copies at our local shops or online. It is our pleasure to provide the interdisciplinary community with this reprint edition of Knowledge and Belief." Abstract of the re-issue edition Prepared by Vincent F. Hendricks & John Symons King's College Publications 2005.<br><br>In this breakthrough work Hintikka sets out to understand and explain the logical behavior of the two fundamental epistemological notions Knowledge and belief. "The word "logic" which occurs in the subtitle of this work is to be taken seriously. My first aim is to formulate and to defend explicit criteria of consistency for certain sets of statements - criteria which it is hoped will be comparable with the criteria of consistency studied in the established branches of logic. What the statements in question are like is also indicated in the title ." Chapter One Prolegomena p.3.<br><br>"Knowledge and Belief" has been extremely influential from the time of its appearance and continues to be so to this day also due to the fact that epistemic logic has greatly influenced the fields of game theory artificial intelligence and distributed computing. hardcover
Bookseller reference : 36631
|
|
Hintikka K. Jaakko J. from the library of Alonzo Church
Two Papers on Symbolic Logic : Form and Content in Quantification Theory and Reductions in the Theory of Types : Acta Philosophica Fennica Fasc. VIII
Helsinki Finland: Societas Philisophica 1955. Very Good condition. 17.5 cm x 25 cm. A solid copy. Bound in the original paper wrappers with small chips at the head of the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Entirely in English. Hintikka's lemma. 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." From the preface: "Originally the two papers were intended to be published separately which explains any overlapping. They may be read and understood independently of each other. The papers are bound however by a common method. Common to both is also a conviction as to where the really deep logical problems are to be sought: not within the predicate calculus nor on the higher levels of type theory over and above the second-order predicate calculus but rather in the very transition from the first-order to the second-order predicate logic. Printing the two papers together -- a happy solution I think -- was suggested by Professor OIVA KETONEN President of the Philosophical Society of Helsinki." 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. 115pp. Great Packaging Fast Shipping. Societas Philisophica Paperback
Bookseller reference : 009123
|
|
HINTIKKA (Jaakko)
Models for modalities. Selected Essays
Dordrecht et Boston, Reidel, 1969. 480 g In-8, reliure éditeur sous jaquette, vii-[1]-220 pp., [1] f.. Petites déchirures à la jacquette. . (Catégories : Mathématiques, Logique, Philosophie, )
Bookseller reference : 10326
|
|
Hintikka Jaakko
Induzione, Accettazione, Informazione
Mm 140x215 "Collezione di testi e di studi - Filosofia" - Volume rilegato in tela con sovraccoperta, xviii-300 pagine. Introduzione di Marco Mondadori e Paolo Parlavecchia. Opera in buone-ottime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
|
|
HINTIKKA, Jaakko:
Question de logique et de phénoménologie. Édité par Élisabeth Rigal. Ouvrage publié avec le concours du Centre national du Livre.
Paris, Librairie Philosophique J. Vrin, 1998, in-8vo, 338 p., cartonnage original.
Bookseller reference : 96771aaf
|
|
HINTIKKA/SUPPES Jaako/Patrick.
ASPECTS OF INDUCTIVE LOGIC. STUDIES IN LOGIC AND THE FONUNDATIONS OF MATHEMATICS
|
|
HOCHKEPPEL WILLY.
Denken als Spiel. Hundertundelf Intelligenz-Ubungen fur Anfamger und Fortgeschrittene. Mit einem linguistischen Beitrag von Carl Amery.
In 8°, br. edit. con sovrac. ill., pp. 222,(2); testo in tedesco; bruniture alla br., per il resto buon es.. (x202)
|
|
Hofstadter, Douglas R.
Godel, Escher, Bach: An Eternal Golden Braid - A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll
16.5X23.5 cm. 23+xxi+777 pages. Softcover. Cover edge's slightly chafed. Spine edge's slightly chafed. Else in good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
|
|
Hofstadter, Douglas R.
Godel, Escher, Bach: An Eternal Golden Braid- A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll
23.5x15.5 cm. xxi+777 pages. Softcover. In good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
|
|
Hofstadter, Douglas R.
Gödel Escher Bach ein Endloses Geflochtenes Band
8' black hardcover, dust jacket slightly worn, else in good+/good condition.
|
|
Hofstadter, Douglas R. - Trautteur, Giuseppe
Gödel, Escher, Bach. Un'eterna ghirlanda brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carroll
Mm 160x240 Collana "Biblioteca scientifica". Prima edizione italiana a cura di Giuseppe Trautteur. Brossura editoriale, XXVII-852 pagine con illustrazioni in nero nel testo. Lievi segni del tempo esterni, interno in buon ordine con legature ben salde. Spedizione in 24 ore dalla conferma dell'ordine.
|
|
HOFSTADTER, Douglas.
GÖDEL - ESCHER - BACH. Les brins d'une guirlande éternelle.
fort volume grand in-8°, XXXI-883 pp., illustrations, index, broché, couv. ill. Excellent etat. [AR-2]
|
|
HOFSTADTER, Douglas.
GÖDEL - ESCHER - BACH. Les brins d'une guirlande éternelle.
Paris, Dunod, 2008. fort volume grand in-8°, XXXI-883 pp., illustrations, index, broché, couv. ill.
Bookseller reference : 73227
|
|
HOLLAND, John - HOLYOAK. Keith - NISBETT, Richard - THAGARD, Paul
Induction. Processes of inference, learning, and discovery
XVI, 385 p.; 23 cm. Hardcover with dj. Fine
|
|
Honsell, Furio; Bagni, Giorgio T.
Curiosità e divertimenti con i numeri
Una piacevole opera divulgativa che elenca principi matematici e geometrci.
|
|
HOURTICQ (J.-P.).-
Leçons de logique et de morale à l'usage des classes de philosophie et de mathématiques élémentaires.
P., Delagrave, 1924, in 8° relié pleine percaline verte de l'éditeur, 268 pages.
Bookseller reference : 68397
|
|
Hourticq, J.P.
Leçons de Logique et de Morale à l'usage des classes de philosophie et de mathématiques élémentaires et des candidats à Saint-Cyr, à l'Ecole Navale et à Polytechnique.
1924 Paris Delagrave 1924 1 in -8 Cartonnage Editeur; Couverture pleine toile vert 265 [pp]
Bookseller reference : LCI-2377
|
|
HOVENS Frans
Frege's Notion of Bedeutung : Tension and Transformation
235pp. + 2pp. theses, 27cm., text in English, Doctoral Dissertation (Universiteit Leiden, the Netherlands), softcover, stamp at verso of title page, text is clean and bright, good condition, F113242
|
|
HOVENS Frans
Frege's Notion of Bedeutung : Tension and Transformation
Leiden, 2003 235pp. + 2pp. theses, 27cm., text in English, Doctoral Dissertation (Universiteit Leiden, the Netherlands), softcover, stamp at verso of title page, text is clean and bright, good condition, F113242
Bookseller reference : F113242
|
|
Howe John R. Jr. editor; with Edmund S. Morgan; R. A. Humphreys; Caroline Robbins; Gordon S. Wood; et al
The Role of Ideology in the American Revolution
New York: Holt Rinehart and Winston 1970. Very Good condition. Bright clean tight square unmarked copy. Flat spine. Trade Paperback. 6" wide by 9" tall. No remainder marks. No store stamp owner's name or bookplate. No underlining. No highlighting. No margin notes. Contains the following papers: THE REVOLUTIONARY ERA AS AN AGE OF POLITICS by Edmund S. Morgan; THE RULE OF LAW AND THE AMERICAN REVOLUTION by R. A. Humphreys; THE ENGLISH LIBERTARIAN HERITAGE by Caroline Robbins; RELIGION AS REVOLUTIONARY IDEOLOGY by Perry Miller; ENLIGHTENMENT THOUGHT AND THE AMERICAN REVOLUTION by Peter Gay; JOHN LOCKE AND THE LIBERAL CONSENSUS by Louis Hartz; IDEOLOGICAL CONFLICTS: WHIGS VERSUS DEMOCRATS by Elisha P. Douglass; THE PEOPLE AS CONSTITUENT POWER by R. R. Palmer; REPUBLICANISM AS A REVOLUTIONARY IDEOLOGY by Gordon S. Wood; THE TRANSFORMING RADICALISM OF THE REVOLUTION by Bernard Bailyn; RHETORIC AND REALITY IN THE AMERICAN REVOLUTION by Gordon S. Wood. Original pictorial wraps. First Edition. Softcover. Very Good condition. vi 125pp. Holt, Rinehart, and Winston Paperback
Bookseller reference : 000929 ISBN : 003077800X 9780030778001
|
|
Hsu, John Y.
Computer Logic Design : Design Principles and Applications
Ex - library stamps in the usual places. Clean, bright and tight. Ex Library
|
|
Hubbard L. Ron based on the works of
The Thinking Book
Sheridan OR: Heron Books Inc 2002. Very Good condition. NO spine creases. NO owner's name or bookplate. Pages are clean and unmarked. NO highlighting. NO underlining. NO margin notes. Old price sticker $32.95 on rear cover. Illustrated with many b/w drawings. Glossary. Bound in the original pinkish-red wraps stamped in black. 6" wide by 9" tall. 1st ed No additional printings listed. Softcover. Very Good condition. viii 380pp. Great Packaging Fast Shipping. Heron Books, Inc Paperback
Bookseller reference : 021481 ISBN : 0897390113 9780897390118
|
|
Hugues (G. E.) & Cresswell (M. J.)
Introduzione alla logica modale
In-8 broché, H. Saggiatore, coll. "Theoria 5", 1983, XXVI + 436 pp. Un peu frotté et écorné, dos ridé. Usure d’usage, bon exemplaire de lecture. Poids 500 g. Envoi lettre verte. Frais d'envoi 7,70 euros sur la France, 26,50 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
Bookseller reference : UUI-12729
|
|
HUISMAN DENIS, VERGEZ ANDRE
LOGIQUE (COURT TRAITE DE PHILOSOPHIE)
Nathan. 1958. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos abîmé, Intérieur acceptable. 175 pages. Illustré de nombreuses photos en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
Bookseller reference : RO60133803
|
|
Hunt, Jonathan
Politian and Scholastic Logic. An Unknown Dialogue by a Dominican Friar.
cm. 17 x 24, vi-234 pp. Istituto nazionale di studi sul Rinascimento - Quaderni di ?Rinascimento? Dialogo sugli universali scritto a Firenze verso la fine del Quattrocento. Dedicato al Poliziano, rivela che il suo interesse per la dialettica inizi? molto prima di quanto si creda, e soprattutto che questo interesse fu nutrito da fonti non solo classiche ma anche scolastiche. Inglese 455 gr. vi-234 p.
|
|
Hunter Geoffrey
Metalogic : An Introduction to the Metatheory of Standard First Order Logic
Berkeley and Los Angeles: University of California Press 1973. 5.25" wide by 8.5" tall. A square tight unmarked copy. Light rubbing to cover. No store stamp owner's name or bookplate. Pages are fresh and crisp. No underlining. No highlighting. No margin notes. Flat uncreased spine. References. Index. Bound in the original light green wrappers. . First Paperback Edition. Trade Paperback. Very Good condition. xiii 288pp. University of California Press Paperback
Bookseller reference : 004595 ISBN : 0520023560 9780520023567
|
|
Hurley Patrick
Concise Introduction to Logic with CD-ROM
Belmont CA: Wadsworth /Thomson Learning 2003. Eighth EditionFirst Printing. . Hardcover. Very Good. The clearest and most accessible logic text available today used by more students and instructors in North America. Effectively integrated so that the elements og logic fit together like a well-crafted puzzle Hurley's clear and direct approach to take the mystery out of learning logic. . Illustrated8 vo 8" - 9" tall622 pages <br/> <br/> Wadsworth /Thomson Learning hardcover
Bookseller reference : 33663 ISBN : 0534584829 9780534584825
|
|
HUSSERL EDMUND. THE FINAL CONCEPTION OF LOGIC
Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Sonderabdruck aus: "Jahrbuch f�r Philosophie und ph�nomenologische Forschung" Bd. X. Herausgegeben von E. Husserl Freiburg I. Br.
Halle Niemeyer 1929. 4to. Orig. full cloth w. gilt leather title-label to spine. A crisp clean and near mint copy w. only very minor spotting to spine. XI 1 298 pp. Ex-library plate to inside of front board. � First edition of Husserl's seminal work which contains his philosophy of logic and mathematics. <br><br>This important work entitled "Formal and Transcendental Logic" with the sub-title "An Attempted Critique of the Logic Reason" provides us with Husserl's final conception of logic. <br><br>Though now famous as the father of phenomenology Husserl was initially a student of mathematics and in his two first works "�ber den Begriff der Zahl" and "Philosophie der Aritmetik" his early philosophy is developed on the basis of mathematics with the aim to provide a sound foundation for mathematics by combining it with philosophy and psychology. <br><br>His main work from 1900-1901 Logische Untersuchungen" probably one of the two most important and influential philosophical works of the 20th century Husserl establishes a philosophy that asks the question of the essence of the matter of perception as opposed to the form of perception as well as the meaning of the difference between formal or pure and material laws truths and determinations -all based on his strong interest in the relationship between the formalities of arithmetic and of logic.<br>However it is in his "Formal and Transcendental Logic" that Husserl most thoroughly introduces us to the formal character of logic and formulates his final conception of it. <br>According to Husserl logic is formal because it is nothing more than the development of pure reason and pure reason is a formal concept. As such logic for Husserl becomes the self-interpretation of pure reason die Selbstauslegung der reinen Vernunft which is again a formal activity. Husserl also determines that there are two formal ways of conceiving logic one being a tool for judging sentences true or false and another which includes knowledge.<br><br>And so this work not only provides us with a genetic-phenomenological investigation of philosophy and of the basis of logic but it also provides us with an insight into the entire inner systematic structure of late Husserlian thought. hardcover
Bookseller reference : 37636
|
|
HUSSERL EDMUND. THE FINAL CONCEPTION OF LOGIC
Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Sonderabdruck aus: "Jahrbuch f�r Philosophie und ph�nomenologische Forschung" Bd. X. Herausgegeben von E. Husserl Freiburg I. Br.
Halle Niemeyer 1929. 4to. Orig. full cloth w. gilt leather title-label to spine. A bit of minor brownspotting and sunning to front board; back board also a bit brownspotted. The two last leaves with a crease to lower margin otherwise internally very nice and clean. XI 1 298 pp. � First edition of Husserl's seminal work which contains his philosophy of logic and mathematics. <br><br>This important work entitled "Formal and Transcendental Logic" with the sub-title "An Attempted Critique of the Logic Reason" provides us with Husserl's final conception of logic. <br><br>Though now famous as the father of phenomenology Husserl was initially a student of mathematics and in his two first works "�ber den Begriff der Zahl" and "Philosophie der Aritmetik" his early philosophy is developed on the basis of mathematics with the aim to provide a sound foundation for mathematics by combining it with philosophy and psychology. <br><br>His main work from 1900-1901 Logische Untersuchungen" probably one of the two most important and influential philosophical works of the 20th century Husserl establishes a philosophy that asks the question of the essence of the matter of perception as opposed to the form of perception as well as the meaning of the difference between formal or pure and material laws truths and determinations -all based on his strong interest in the relationship between the formalities of arithmetic and of logic.<br>However it is in his "Formal and Transcendental Logic" that Husserl most thoroughly introduces us to the formal character of logic and formulates his final conception of it. <br>According to Husserl logic is formal because it is nothing more than the development of pure reason and pure reason is a formal concept. As such logic for Husserl becomes the self-interpretation of pure reason die Selbstauslegung der reinen Vernunft which is again a formal activity. Husserl also determines that there are two formal ways of conceiving logic one being a tool for judging sentences true or false and another which includes knowledge.<br><br>And so this work not only provides us with a genetic-phenomenological investigation of philosophy and of the basis of logic but it also provides us with an insight into the entire inner systematic structure of late Husserlian thought. hardcover
Bookseller reference : 40583
|
|
HUSSERL EDMUND. THE FINAL CONCEPTION OF LOGIC
Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Sonderabdruck aus: "Jahrbuch f�r Philosophie und ph�nomenologische Forschung" Bd. X. Herausgegeben von E. Husserl Freiburg I. Br.
Halle Niemeyer 1929. 4to. A bit later blue full fabrikoid binding. Gilt lettering to spine. Clean and fresh copy. Old owner's signature to title-page. XI 1 298 pp. � First edition of Husserl's seminal work which contains his philosophy of logic and mathematics. <br><br>This important work entitled "Formal and Transcendental Logic" with the sub-title "An Attempted Critique of the Logic Reason" provides us with Husserl's final conception of logic. <br><br>Though now famous as the father of phenomenology Husserl was initially a student of mathematics and in his two first works "�ber den Begriff der Zahl" and "Philosophie der Aritmetik" his early philosophy is developed on the basis of mathematics with the aim to provide a sound foundation for mathematics by combining it with philosophy and psychology. <br><br>His main work from 1900-1901 Logische Untersuchungen" probably one of the two most important and influential philosophical works of the 20th century Husserl establishes a philosophy that asks the question of the essence of the matter of perception as opposed to the form of perception as well as the meaning of the difference between formal or pure and material laws truths and determinations -all based on his strong interest in the relationship between the formalities of arithmetic and of logic.<br>However it is in his "Formal and Transcendental Logic" that Husserl most thoroughly introduces us to the formal character of logic and formulates his final conception of it. <br>According to Husserl logic is formal because it is nothing more than the development of pure reason and pure reason is a formal concept. As such logic for Husserl becomes the self-interpretation of pure reason die Selbstauslegung der reinen Vernunft which is again a formal activity. Husserl also determines that there are two formal ways of conceiving logic one being a tool for judging sentences true or false and another which includes knowledge.<br><br>And so this work not only provides us with a genetic-phenomenological investigation of philosophy and of the basis of logic but it also provides us with an insight into the entire inner systematic structure of late Husserlian thought. unknown
Bookseller reference : 49150
|
|
HUSSERL Edmund
ARTICLES SUR LA LOGIQUE
PUF. 1995. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 586 pages - couverture orange contre-pliée - annotations à l'encre sur la page de titre.. . . . Classification Dewey : 160-Logique
Bookseller reference : ROD0137364 ISBN : 2130334741
|
|
Husserl Edmund
Recherches logiques - Tome 1 + Tome 2 2eme partie + Tome 3 - 3 volumes - Tome 1 : Prolégomènes à la logique pure - Tome 2 2eme partie : recherches opur la phénoménologie et la théorie de la connaissance, recherches III,IV et V - Tome 3 : éléments d'une él
Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique
Bookseller reference : R100069381
|
|
I G Fichte
Sulla missione del Dotto
Cinque letture tradotte da E. Roncali con prefazione di G. Vitali; rilegatura in tela macchiata ma interno perfetto. Rilegato
|
|
IBRAHIM LEBIB Ottoman logic scholar Arabic linguist theologian philosoph mathematician 1839 1902.
EARLY MULTIPLICATION TABLE and MATH-BOOK by TURKISH SCHOLAR Miz�nu'l-adl.= Mizan al-adl.
Elazig Elaziz: Mamuret�'l-Aziz Maatbaasi. AH 1303 1886. 1st Edition . Soft cover. Very Good. 8vo - over 7� - 9�" tall. Paperback. Contemporary marbled boards. Chipped on margins of cover papers. Added a paper to spine in its period. Slightly toned on paper. Otherwise a good copy. Demy 8vo. 21 x 145 cm. Bilingual in Ottoman script and Arabic. 78 p. ills. and tables. Lithograph. AH 1303 = AD 1886. First and Only Edition. Only one copy in OCLC: 463334715.; �zege 13820.; Not in Ihsanoglu -Sesen - Izgi. He was the son of Haci �mer Agha. His family was called the Blind Hal�loghuls. He did his education in various madrasahs and with famous scholars of Harput. He had his 'ijazat' by Ibr�him Hul�s� Efendi. He worked as a teacher in Elazig Military Office for almost 30 years. Here he taught logic religion and Arabic philology. In addition to his profound knowledge of Arabic and Persian he was also familiar with mathematics science and literature. He also had the ability to determine the time by measuring the condition of the sun by using astrolabe. He made a special astrolabe. In addition he was a poet also he was a calligrapher and he had written 25 qurans. T�rkedebiyatiisimlers�zl�g�. This book is the first science book printed in Mamuret al-Aziz Printing House which is written by Muallim Ibrahim Lebib Efendi from Harput includes account of 'Djem' 'Tarh' 'Taqsim' 'Zarp' 'Karrat djatwal i.e. the multiplication table' account marks 'Qasr� ad�' 'Qasr� �sh�r�' and 'Tanasub i.e. proportioned' as mathematical and calculus elements. Printed in Elazig vilayat. In this region where located this printing house so Elaziz city in the Ottoman period was a city where was in addition to Turkish Arabic was also widely spoken. M�teferrika No: 46 Mamuret�'l-Aziz Matbaasi. <br/> <br/> Mamuret�'l-Aziz Maatbaasi., [AH 1303] paperback
Bookseller reference : 052093
|
|