Translated title of the contributionСильная вычислимость слоев над логикой Gl
Original languageEnglish
Pages (from-to)35-47
Number of pages13
JournalСибирские электронные математические известия
Volume15
DOIs
Publication statusPublished - 1 Jan 2018

    Research areas

  • The minimal logic, slices, Kripke frame, decidability, recognizable logic

    OECD FOS+WOS

    State classification of scientific and technological information

  • 27.03 Mathematical logic and foundations of mathematics

ID: 22322560