|
| | |
Пынько, А. П.
Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько
// Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. – 2005. – № 3. – С. 66-71.
|
| |
|
