Revision history for entry Turing, A. M. (1937). "Computability and λ-definability" [TURCAD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-10-30T05:26:09updateSystem / admin update -