MathLib
LibMeta
Graph RAG
Лаборатория
Блог
О проекте
Команда
RU
EN
LibMeta
/
Крипке С. А.
Матэнциклопедия
Персона
Крипке С. А.
http://libmeta.ru/resource/mathenc/author/a2341
Входящие связи
← автор · 1
Семантический анализ модальной логики, в кн.: Ф е й с Р., Модальная логика