DOI

Переведенное названиеСильная вычислимость слоев над логикой Gl
Язык оригиналаанглийский
Страницы (с-по)35-47
Число страниц13
ЖурналСибирские электронные математические известия
Том15
DOI
СостояниеОпубликовано - 1 янв. 2018

    Области исследований

  • Decidability, Kripke frame, Recognizable logic, Slices, The minimal logic

    Предметные области OECD FOS+WOS

    ГРНТИ

  • 27.03 Математическая логика и основания математики

ID: 22322560