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