Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
"synopsis" may belong to another edition of this title.
£ 29.61 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: mountain, GEORGETOWN, CO, U.S.A.
hardcover. Condition: Acceptable. hardcover book no dust jacket, light wear to cover and book edges has some light water damage. has some stains to book edges. Seller Inventory # mon0000002037
Quantity: 1 available
Seller: Kisharon Langdon New Chapters, HARROW, United Kingdom
NO DUST JACKET. Sold by the UK charity Kisharon Langdon; offering opportunities and support for people within the autism and learning disability community. Seller Inventory # EDU BOX3 RS1/21052025
Quantity: 1 available
Seller: BooksElleven, Three Oaks, MI, U.S.A.
hardcover. Condition: Good. 550 pgs. Nice cover. Clean pages throughout. Binding is secure. Seller Inventory # BS1240908016
Quantity: 1 available
Seller: Buchpark, Maidenhead, Berkshire, United Kingdom
Condition: Very Good. Condition: Very Good, Pages: 560, Size: 23.6x15.6x4. Seller Inventory # 2292888/23
Quantity: 1 available
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Hardcover. 550 p. Good condition. Reading pages are clean and without markings. Light signs of storage and use. Inscription on the last page. Otherwise a neat copy. 9780720421033 Sprache: Englisch Gewicht in Gramm: 1001. Seller Inventory # 255814
Quantity: 1 available
Seller: Great Matter Books, Grand Rapids, MI, U.S.A.
Hardcover. Condition: Near Fine. No Jacket. Near Fine condition hardcover book, no dust jacket as issued. Transfered to digital printing 2005. Very slight shelf wear to covers and spines. Few shallow indentations to spine, mostly near top edge. Very slight bumping to spine edges and cover corners. Minute smudging to top edge of text block. All books are individually inspected and described. Never X-Library unless specifically described as such. Seller Inventory # 2501-9514
Quantity: 1 available
Seller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New. Seller Inventory # 6666-ELS-9780720421033
Quantity: Over 20 available
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand. Seller Inventory # e710216c50afb24c8556167d185c4adc
Quantity: Over 20 available
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 11th repr. 1996 edition. 550 pages. 9.25x6.25x1.25 inches. In Stock. Seller Inventory # __0720421039
Quantity: 2 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education. Englisch. Seller Inventory # 9780720421033
Quantity: 2 available