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. https://doi.org/10.15407/pp2020.02-03.182
Чикаго стиль цитування (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. https://doi.org/10.15407/pp2020.02-03.182.
Стиль цитування 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. https://doi.org/10.15407/pp2020.02-03.182.