Gentzen-type systems and resolution rules (0)

by Min90 G Mints
Venue:of Lecture Notes in Mathematics