Shkilniak, S. (2018). Sequent calculi for first-order logics of single-valued quasi-ary predicates. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (17-те видання)Shkilniak, S.S. Sequent Calculi for First-order Logics of Single-valued Quasi-ary Predicates. PROBLEMS IN PROGRAMMING, 2018.
Стиль цитування MLA (8-ме видання)Shkilniak, S.S. Sequent Calculi for First-order Logics of Single-valued Quasi-ary Predicates. PROBLEMS IN PROGRAMMING, 2018.
Попередження: стилі цитування не завжди правильні на всі 100%.