TYTUŁ ARTYKUŁU

A generalization of the interpolation theorem for the many sorted calculus

AUTORZY
Krzysztof Rudnik
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1984 / Tom 13 / Numer 1
STRONY
2 - 8
ROK
1984
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY 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

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

Pokaż kod BibTeX 
@article{bazhum220681,
  author = {Rudnik, Krzysztof},
  title = {{A generalization of the interpolation theorem for the many sorted calculus}},
  journal = {Bulletin of the Section of Logic},
  year = {1984},
  volume = {13},
  number = {1},
  pages = {2--8},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/220681}
}