Shkilniak, S. (2018). Sequent calculi for first-order logics of single-valued quasi-ary predicates. PROBLEMS IN PROGRAMMING.
Chicago-Zitierstil (17. Ausg.)Shkilniak, S.S. Sequent Calculi for First-order Logics of Single-valued Quasi-ary Predicates. PROBLEMS IN PROGRAMMING, 2018.
MLA-Zitierstil (8. Ausg.)Shkilniak, S.S. Sequent Calculi for First-order Logics of Single-valued Quasi-ary Predicates. PROBLEMS IN PROGRAMMING, 2018.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.