This book, written by the outstanding Russian philosopher and logician A. A. Zinoviev, gives a systematic presentation of the formal apparatus developed by the author of complex logic. The general theory of deduction and its extension is considered, including the theory of predication, quantifiers, conditional forms, modalities, existence, norms, terms, relations and physical following.