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
2016-06-30T07:32:32updateSystem / admin update -
2015-02-05T02:02:39updateSystem / admin update -
2013-11-22T06:41:25updateSystem / admin update -
2013-11-22T06:41:13updateSystem / admin update -