Симуляция доказательств в классических пропозициональных исчисленияхдипломная работа (Магистр)