У справжній книзі, написаній видатним вітчизняним філософом та логіком А. А. Зінов'євим, дається систематичний виклад формального апарату розробленої автором комплексної логіки. Розглядається загальна теорія дедукції та її розширення, включаючи теорію предикації, кванторів, умовних форм, модальностей, існування, норм, термінів, відносин та фізичного дотримання. Автор наводить докази несуперечності та повноти систем комплексної логіки щодо певних семантичних інтерпретацій, з'ясовує місце класичної та інтуїціоністської логік у теорії логічного слідування. Рекомендується філософам, логікам, методологам науки, студентам та аспірантам відповідних спеціальностей.