DOI

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, Decidability, Slices, Recognizable logic

    OECD FOS+WOS

  • 1.01.PQ MATHEMATICS

    State classification of scientific and technological information

  • 27.03 Mathematical logic and foundations of mathematics

ID: 22322560