I'm sure Church got some of his ideas from this trip to Europe.

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

I went to Princeton from Amherst, where I split my interests between mathematics and philosophy.

I think Veblen had an interest in logic.

I went to Princeton in the fall of 1930 as a half-time instructor.

Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.

I think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.