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-Zitierstil (17. Ausg.)Nikitchenko, M.S, О.S Shkilniak, und 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-Zitierstil (8. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.