Основы формальной логики: Введение в дисциплину