Ключевая фраза: секвенциальное ис- числение

Материалы

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «секвенциальное ис- числение».

Статьи: 1

01.Интерполяционная теорема Крейга для логики с оператором Руета∗ (2026)

Сохранить в закладках

Журнал:

ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ

Автор(ы):

Слюсарев И. Ю.