DOI

  • Marat Faizrahmanov
  • Asher Kach
  • Iskander Kalimullin
  • Antonio Montalbán
  • Vadim Puzarenko
Original languageEnglish
Pages (from-to)37-45
Number of pages9
JournalMathematical Logic Quarterly
Volume65
Issue number1
DOIs
Publication statusPublished - 1 May 2019

    OECD FOS+WOS

    Research areas

  • THEOREM, REDUCIBILITY

ID: 20039318