TY  - BOOK
AU  - Тишковский, Д. Е.
TI  - Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
T2  - Препринт
VL  - N 38
PY  - 1998///
CY  - Новосибирск
PB  - Б.и.
KW  - Математическая логика
KW  - Исчисление предикатов
KW  - RU\NLR\auth\661352942
KW  - RU\NLR\auth\661352941
KW  - В123
N2  - Библиогр.: с. 14-15 (5 назв.)
ER  -