Krzysztof Rudnik
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A generalization of the interpolation theorem for the many sorted calculus Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 1 / s. 2 - 8ROK: 1984CZYSTY TEKSTBIBTEX
