DOI

Translated title of the contributionMODAL COMPANIONS FOR THE SPECIAL EXTENSIONS OF NELSON'S CONSTRUCTIVE LOGIC
Original languageRussian
Pages (from-to)344-364
JournalМатематические заметки
Volume117
Issue number3
DOIs
Publication statusPublished - 2025

    OECD FOS+WOS

  • 1.01 MATHEMATICS

ID: 74482780