Изменения

Перейти к: навигация, поиск

Математическая логика

33 байта убрано, 02:31, 8 июня 2017

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

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

~~#[[Женская логика]]~~

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

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

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/61408»