Статьи за последние 2 года

Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости / Коновалов А. Ю. // Мат. заметки.— 2023 т. 114 № 6.— C. 827—847 Библ.:21. .— русский

Источник:   - Выпуск сериального издания ( 1 )   Автор:   - Персоналия ( 1 )

Постоянная ссылка (СИД2) J2205485245 Название Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости Автор Коновалов А. Ю. Источник Математические заметки Страницы/Объём 827—847 Сокращ. назв. источника Мат. заметки Год 2023 Том 114 Номер 6 Постоянная ссылка (СИД) J22054852 Место хранения ЦНИО Дата регистрации в ВИНИТИ 26.03.2024 Язык текста русский Библиография (кол-во источников) 21 Адрес полного текста Тематический раздел Математика Издательский номер в РЖ 24.07-13А.41 Шифр ГРНТИ 27.03.02 Ключевые слова базисная логика предикатов; конструктивная семантика