Alan Mathison Turing - Systems of Logic based on Ordinals [In] Proceedings of the London Mathematical Society Second Series - 1939

Extremely rare .
Turing, A. M. [Alan]
London: Printed and Published for The Society by C. F. Hodgson and Son, 1939.

First edition. The first printing of Alan Turing's PhD dissertation and seminal work published in Proceedings of the London Mathematical Society, Second Series, Vol. 45., with Turing paper pp. 161-228. Pp. 475. Entire issue, bound without wraps full green cloth with spine lettered in gilt.

Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene—were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science