TYTUŁ ARTYKUŁU

A Note on Decision Problems for Implicational Sequent Calculi

AUTORZY
Norihiro Kamide
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2001 / Tom 30 / Numer 3
STRONY
129 - 138
ROK
2001
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Norihiro Kamide, A Note on Decision Problems for Implicational Sequent Calculi, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 129 - 138

BIBTEX

Norihiro Kamide. A Note on Decision Problems for Implicational Sequent Calculi. Bulletin of the Section of Logic, 30(3):129–138, 2001.

Pokaż kod BibTeX 
@article{bazhum240855,
  author = {Kamide, Norihiro},
  title = {{A Note on Decision Problems for Implicational Sequent Calculi}},
  journal = {Bulletin of the Section of Logic},
  year = {2001},
  volume = {30},
  number = {3},
  pages = {129--138},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/240855}
}