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