Those three years ended with June 1933. At that time I left Princeton, having submitted my Ph.D. thesis.Stephen Cole Kleene
