Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.
I read one or two other books which gave me a background in mathematics other than logic.
It wasn't until my second year that I got to actually work with Church.
I'm sure Church got some of his ideas from this trip to Europe.
I think Veblen had an interest in logic.
I don't think Post often came to Princeton during the '30s. I can't remember ever seeing him in Princeton.