Shkilnyak, O. (2025). Sequent calculi of composition nominative modal logics of functional-equational level. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (17-те видання)Shkilnyak, O.S. Sequent Calculi of Composition Nominative Modal Logics of Functional-equational Level. PROBLEMS IN PROGRAMMING, 2025.
Стиль цитування MLA (8-ме видання)Shkilnyak, O.S. Sequent Calculi of Composition Nominative Modal Logics of Functional-equational Level. PROBLEMS IN PROGRAMMING, 2025.
Попередження: стилі цитування не завжди правильні на всі 100%.