В каких годах к решению задач стали подключать методы математической логики? 1954-1964 гг, 1963-1970, 1964-1970 гг, 1965-1980 гг