Система аксиом и правил вывода
Теоретическая часть
Тестовые задания
Задание 1
Задание 2
