Матэнциклопедия Персона

С. К. Соболев

http://libmeta.ru/resource/mathenc/author/a975

Входящие связи

← автор · 10

Импликативное пропозициональное исчисление Индуктивное определение Индукции аксиома Истинностное значение Крипке модели Минимальное пропозициональное исчисление Минимальное функциональное исчисление Позитивное пропозициональное исчисление Промежуточная логика Пропозициональное исчисление