Krzysztof Rudnik
1 articles in 1 journals
ARTICLE TITLE
YEAR
ACTIONS
-
A generalization of the interpolation theorem for the many sorted calculus Published in: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 1 / p. 2 - 81984Plain Text
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" }