Библиографическое описание:Лукина, О. В. Явный базис допустимых правил вывода табличной логики / О. В. Лукина, В. В. Римацкий. - Текст : непосредственный // Вестник Красноярского государственного университета. - 2006. - Физико-математические науки, № 1. - С. 68-71. - Библиогр. в конце ст.