Нормальные выводы в натуральных исчислениях, полученных для некоторых фрагментов классической логики высказываний с помощью корреспондентного анализадипломная работа (Магистр)