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 - 81984CZYSTY TEKST
Krzysztof Rudnik, A generalization of the interpolation theorem for the many sorted calculus, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 2 - 8
BIBTEX@Article{ authors = " Krzysztof Rudnik", title = "A generalization of the interpolation theorem for the many sorted calculus", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "2 - 8" }
