Vol-2865⫷ Vol-2866 ⫸Vol-2867
urn:nbn:de:0074-2866-0


Vol-2866/ceur_173-181_barmak17⫷Vol-2866/ceur_182-197_nikitchenko18⫸Vol-2866/ceur_198-207_provotar19
Oksana ShkilniakMykola S. NikitchenkoStepan S. Shkilniak

Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement