A generalization of the interpolation theorem for the many sorted calculus

Bulletin of the Section of Logic, Tom 13, Numer 1 (1984) s. 2-8
Krzysztof Rudnik

 

do góry