Revision history for entry Newman, M. H. A.; Turing, A. M. (1942). "A formal theorem in church's theory of types" [NEWAFT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-11-22T11:41:25updateSystem / admin update -
2013-11-22T11:41:13updateSystem / admin update -