СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
САЛКВИСТА ФОРМУЛА |
СИНОНИМЫ И УСЛОВНЫЕ СИНОНИМЫ
Sahlqvist formula (английский язык) |
ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ САЛКВІСТА ФОРМУЛА |
ИСТОЧНИКИ ИНФОРМАЦИИ
О модальных логиках элементарных классов шкал Крипке : автореферат диссертации ... кандидата физико-математических наук : 01.01.06 / Кикоть Станислав Павлович. ― Москва, 2010. (2//92710(039))
Сайт "Wikipedia".
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |