Здесь, в Висконсине, мы не проходили курс бакалавриата по математической логике до 60 -х годов.