TYTUŁ ARTYKUŁU

Cut-free Single-succedent Systems Revisited

AUTORZY
Norihiro Kamide
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2005 / Tom 34 / Numer 3
STRONY
165 - 175
ROK
2005
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Norihiro Kamide, Cut-free Single-succedent Systems Revisited, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 165 - 175

BIBTEX

Norihiro Kamide. Cut-free Single-succedent Systems Revisited. Bulletin of the Section of Logic, 34(3):165–175, 2005.

Pokaż kod BibTeX 
@article{bazhum242024,
  author = {Kamide, Norihiro},
  title = {{Cut-free Single-succedent Systems Revisited}},
  journal = {Bulletin of the Section of Logic},
  year = {2005},
  volume = {34},
  number = {3},
  pages = {165--175},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/242024}
}