Stephen Cole Kleene

And what I learned in Church's course. He trained us intensively in his new system, which he was just developing. Two papers were presented. I think the second paper wasn't published until well after the course was finished.

It wasn't until my second year that I got to actually work with Church.