sweer j h (1 risultati)

Wraps. Condizione: 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.