M. H. A. Newman

According to our database, M. H. A. Newman authored at least 1 paper in 1942.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1942

A Formal Theorem in Church's Theory of Types.

M. H. A. Newman, Alan M. Turing

J. Symb. Log., 1942