M. H. A. Newman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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