TYTUŁ ARTYKUŁU

Cut-Free Hypersequent Calculus for S4.3.

AUTORZY
Andrzej Indrzejczak
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2012 / Tom 41 / Numer 1-2
STRONY
89 - 104
ROK
2012
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Cut-Free Hypersequent Calculus for S4.3., Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 89 - 104

BIBTEX

Andrzej Indrzejczak. Cut-Free Hypersequent Calculus for S4.3. Bulletin of the Section of Logic, 41(1-2):89–104, 2012.

Pokaż kod BibTeX 
@article{bazhum244663,
  author = {Indrzejczak, Andrzej},
  title = {{Cut-Free Hypersequent Calculus for S4.3.}},
  journal = {Bulletin of the Section of Logic},
  year = {2012},
  volume = {41},
  number = {1-2},
  pages = {89--104},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/244663}
}