I don't think Post often came to Princeton during the '30s. I can't remember ever seeing him in Princeton.Stephen Cole Kleene
