TY - BOOK AU - Карпенко,Александр Степанович TI - Логические исследования SN - 5020131156 PY - 2001/// CY - М. PB - Наука KW - логика KW - квазиматричная логика KW - силлогистика KW - позитивная силлогистика KW - модальные предикатные логики KW - модальная логика KW - теория множеств KW - время KW - минимальная логика KW - логика ложности N1 - Библиогр. в конце статей ER -