I'm sure Church got some of his ideas from this trip to Europe.
Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.
In the fall term of 1933-34 I was on my family farm in Maine.
I don't think Post often came to Princeton during the '30s. I can't remember ever seeing him in Princeton.
I went to Princeton in the fall of 1930 as a half-time instructor.
I think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.