Описание:Семестровый спецкурс, читавшийся студентам 2-го курса философского факультета, специализирующимся по кафедре логики. В ходе спецкурса студенты знакомились с различными типами логических исчислений (аксиоматическими, натуральными - субординатными и с характеристиками зависимости формул вывода от допущений, секвенциальными и аналитико-табличными) и особенностями построения доказательств и выводов в них.