Wyniki
-
A generalization of the interpolation theorem for the many sorted calculus
Krzysztof Rudnik
Bulletin of the Section of Logic , 13 /1 (1984) s. 2-8
Krzysztof Rudnik
Bulletin of the Section of Logic
, 13
/1
(1984)
s. 2-8