M. H. A. Newman

Publication Activity (10 Years)

Years Active: 1942-1942
Publications (10 Years): 0

Publications

M. H. A. Newman, Alan M. Turing
A Formal Theorem in Church's Theory of Types. J. Symb. Log. 7 (1) (1942)