@misc{Przymusińska_Halina_Gentzen-type_1980,
 author={Przymusińska, Halina},
 volume={28},
 editor={Polska Akademia Nauk.},
 editor={Państwowe Wydawnictwo Naukowe (1951–1992)},
 number={5-6},
 copyright={Rights Reserved - Restricted Access},
 address={Varsovie},
 howpublished={online},
 year={1980},
 publisher={Państwowe Wydawnictwo Naukowe},
 language={eng},
 type={Text},
 title={Gentzen-type semantics for v-valued infinitary predicate calculi},
}