APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

Nikitchenko, M.S, О.S Shkilniak, and 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 (8th ed.) Citation

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.