TYTUŁ ARTYKUŁU

Interpolation theorem for intuitionistic S4

AUTORZY
Branislav R. Boricic
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1991 / Tom 20 / Numer 1
STRONY
2 - 6
ROK
1991
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Branislav R. Boricic, Interpolation theorem for intuitionistic S4, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 2 - 6

BIBTEX

Branislav R. Boricic. Interpolation theorem for intuitionistic S4. Bulletin of the Section of Logic, 20(1):2–6, 1991.

Pokaż kod BibTeX 
@article{bazhum225864,
  author = {Boricic, Branislav R.},
  title = {{Interpolation theorem for intuitionistic S4}},
  journal = {Bulletin of the Section of Logic},
  year = {1991},
  volume = {20},
  number = {1},
  pages = {2--6},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/225864}
}