Goedel's tTheorem - Davis, A. S. (The Univ. of Oklahoma, 1963)