RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Другуш Я М
Публикации в базе данных Math-Net.Ru
Финитная аппроксимируемость лесных суперинтуиционистских логик
Матем. заметки
,
36
:5 (1984),
755–764
Объединение логик, моделируемых конечными деревьями
Алгебра и логика
,
21
:2 (1982),
149–161
Лесные суперинтуиционистские логики
Докл. АН СССР
,
262
:3 (1982),
523–526
©
МИАН
, 2024