V knige sistematicheskoe izlozhenie formal'nogo apparata razrabotannoj avtorom kompleksnoj logiki. V nej rassmatrivayutsya obshhaya teoriya dedukczii i eyo rasshireniya, vklyuchaya teoriyu predikaczii, kvantorov, uslovnyx form, modal'nostej, sushhestvovaniya, norm,...