Учебное пособие дает углубленное содержание как традиционной формальной логики, так и математической (символической) логики в ее двух направлениях: классическая логика и многочисленные направления неклассических логик (конструктивных, интуиционистской, многозначных, положительных (логики, построенные без операции отрицания), модальных и паранепротиворечивых).