H Ruja (3 results)

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:0041900073.…

Wraps. Condition: Good. Princeton University (Presumed publisher). (Princeton: 1936). Plain wraps. Photomechanically reproduced pages. Printed on single sides only. 113 pp. Provenance: Last name of noted American mathematician James Andrew Clarkson signed in pencil on the upper front cover. (this came from a small collection of his books). A work on mathematical logic by American computer scientist, mathematician and philosopher, Alonzo Church. Church is considered one of the founders of computer science, with much of his mathematical theories and work contributing to its development. This includes his development of lambda calculus, work on the Church-Turing thesis, etc. He taught at Princeton from 1929 to 1967, and had Alan Turing as one of his doctoral students. James A. Clarkson was an American mathematician known for his work in number theory. He served as an operations' analyst during World War II, earning the Medal of Freedom. This work contains several chapters on lambda definability that lays the groundwork for lambda calculus. Church also discusses the Russell Paradox, the existential quantifier, Godel's Theorem and other subjects. GOOD condition. Title handwritten on the front cover and spine. Moderate general toning. Minor soiling, scuffing and a few stains to the covers. Some curling along the corners and edges. Paper toned in the interior.…

London, Routledge, 1994. 3 vol. lvi,611-xiv,575-xi,305 pp. Orig.cloth w.celluloid dustjackets in slipcase. (Collected Papers (vol.14); ticket on spines, a few libr.stamps, a very good library copy) - heavy set, additional postage required.