Базисы допустимых правил вывода табличных модальных логик глубины 2. В.В. Римацкий; V. V. Rimackij; V. V. Rimackij; V. V. Rimackij — 1996 Algebra i Logika