Advanced Search

home List of Authors author

Krzysztof Rudnik

1 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS 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 - 8

1984

Krzysztof Rudnik

Plain 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" }