First Steps in Modal LogicBiblio.com
486 Ergebnisse
Best.-Nr. DADAX0521057930New unknown
Best.-Nr. DADAX0415581257New unknown
Best.-Nr. SONG3642319505Springer 2012-07-27. 2012. paperback. Used: Good. 6.10x0.95x9.25. Buy with confidence. Excellent Customer Service & Return policy. Springer paperback
Best.-Nr. SONG3642314813Springer 2012-07-01. 2012. paperback. Used: Good. 6.10x1.12x9.25. Buy with confidence. Excellent Customer Service & Return policy. Springer paperback
Best.-Nr. DADAX0415998441New unknown
Best.-Nr. DADAX020230194XNew unknown
1991Best.-Nr. 2090502113706363Not Available 1991. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1991Best.-Nr. 2092902137800441Otsukishoten 1991. Soft Cover. Fine. Size: chrysanthemum format Number of books: 1 Otsukishoten paperback
1993Best.-Nr. 2091202133209046Otsukishoten 1993. Soft Cover. Fine. Volume: 1 Otsukishoten paperback
1980Best.-Nr. 2083002116411730Otsukishoten 1980. Soft Cover. Fine. The book is in fine condition. Otsukishoten paperback
1952Best.-Nr. 008334Providence Rhode Island: American Mathematical Society 1952. Complete 2 volume set. Very Good condition. Each volume is clean square and reasonably tight; bound in the original maroon cloth with gilt lettering on the spine and front cover. Inner hinges are perfectly sound. Pages are clean and unmarked. Volume I includes Professor Harald Bohr's address announcing the award of the Fields Medal to Professors Atle Selberg and Laurent Schwartz. The preface to Volume II notes that the central theme for the Conference in Algebra was the Theory of Rings. Vol. 1 contains: Officers and Members; Report of the Secretary; Stated Addresses; Addresses and Communications in Sections Lawrence M. Graves; & Paul A. Smith; Einar Hille; Oscar Zariski editorial committee. Vol 2: Conference in Algebra; Conference in Analysis; Conference in Applied Mathematics; Conference in Topology A. A. Albert; Richard Brauer; Nathan Jacobson; Saunders MacLane; Oscar Zariski committee. Index of Authors in each vol. This set 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 copy does not have those signs of his ownership. But please check our inventory for several others that do. Church and Mrs. Church are included in the List of Members printed in Volume I. 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 jackets. 2 vols.: viii 769pp. iv 461pp. Great Packaging Fast Shipping. American Mathematical Society Hardcover
1989Best.-Nr. 2090502113712066Not Available 1989. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1973Best.-Nr. 2090502113705793Not Available 1973. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1965Best.-Nr. 2091202133001747Chiku ma shobo 1965. Soft Cover. Fine. Number of books: 1 Chiku ma shobo paperback
1966Best.-Nr. 2091202133001933Kawade Shobo Shinsha 1966. Soft Cover. Fine. Number of books: 1 Kawade Shobo Shinsha paperback
Best.-Nr. 2090502113708149Not Available N.A. Soft Cover. Fine. The book is in fine condition. Not Available paperback
Best.-Nr. SONG3540665366Used: Good unknown
Best.-Nr. DADAX3642328962Springer 2012-07-28. 2012. paperback. New. 6.10x0.52x9.25. Buy with confidence. Excellent Customer Service & Return policy. Springer paperback
Best.-Nr. DADAX0367030578New unknown
Best.-Nr. DADAX0520081552New unknown
Best.-Nr. DADAX1461388430New unknown
Best.-Nr. DADAX0415606608New unknown
Best.-Nr. DADAX0415122392New unknown
Best.-Nr. DADAX0195178505New unknown
Best.-Nr. SONG0534584845Used: Good unknown