Przymusińska Halina

Gentzen-type semantics for v-valued infinitary predicate calculi