Vol-3500⫷ Vol-3501 ⫸Vol-3502
urn:nbn:de:0074-3501-0


Vol-3501/3-18⫸Vol-3501/19-28
Oksana ShkilniakStepan S. Shkilniak

First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality