Вводный курс по дедуктивной логике и элементам математической логики