Original languageEnglish
Pages (from-to)179-188
Number of pages10
JournalSiberian Mathematical Journal
Volume59
Issue number1
DOIs
Publication statusPublished - 1 Jan 2018

    OECD FOS+WOS

    Research areas

  • decidability, interpolation property, minimal logic, recognizable logic

ID: 10427296