Изменения

=== Конспекты лекций Штукенберга по мат. логике ===

# [[Исчисление высказываний | Исчисление высказываний, формальная система]] (Вопросы 1, 2)

# [[Лемма о дедукции, полнота исчисления высказываний]] (Вопросы 3, 4)