Dedukcija i oboščenie v sistemah prinjatija rešenij - Vagin, Vadim Nikolaevič (Nauka - Moskva, 1988)