2,775 results
ref. DADAX0521753732New unknown
1964ref. 023679Princeton New Jersey: Princeton University Department of Mathematics 1964. Good condition. No owner's name or bookplate. Pages are clean crisp and unmarked. 8.75" wide by 11.25" tall. Pages are printed on rectos only blank versos housed in a blue paper portfolio with title visible under a clear plastic window. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Edition. Softcover. Good condition. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Paperback
ref. SONG1402086210Used: Good unknown
ref. DADAX0201308576New unknown
ref. SONG0792341007Used: Good unknown
1775ref. 107081BBParis, Humblot, 1775. 8°. XLVIII, 430 S. Marmorierter Kalbslederband der Zeit mit goldgepr. Rückenschild und reicher floraler Rückenvergoldung (signiert: "Jn. Ravet en Cadiz"). Nouvelle edition, revue et corrigée.
ref. SONG0817636900Used: Good unknown
ref. SONG079233387XUsed: Good unknown
ref. DADAX3030327213New unknown
ref. DADAX0792341007New unknown
ref. DADAX0792343255New unknown
ref. DADAX0815326556New unknown
ref. DADAX0849316588New unknown
ref. DADAX0792355695New unknown
ref. DADAX0198239203New unknown
ref. DADAX0415738962New unknown
ref. DADAX1138910589New unknown
ref. DADAX0415153360New unknown
ref. DADAX0792383885New unknown
1928ref. 49908Berlin, 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.
1928ref. 49908Berlin 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. 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
ref. DADAX087632636XNew unknown
ref. SONG1260272664Used: Good unknown
ref. DADAX0131011715New unknown
ref. DADAX0415023351New unknown