M. H. A. Newman

List of publications from the DBLP Bibliography Server - FAQ

1942

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

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

Coauthor Index