Nikitchenko, M., Shkilniak, О., & Shkilniak, S. (2020). Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (17-те видання)Nikitchenko, M.S, О.S Shkilniak, та S.S Shkilniak. Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. PROBLEMS IN PROGRAMMING, 2020.
Стиль цитування MLA (8-ме видання)Nikitchenko, M.S, et al. Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. PROBLEMS IN PROGRAMMING, 2020.
Попередження: стилі цитування не завжди правильні на всі 100%.