Labelled Tableaux for D2

Ciuciura, Janusz

TYTUŁ ARTYKUŁU

Labelled Tableaux for D2

AUTORZY: Janusz Ciuciura
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 2004 / Tom 33 / Numer 4
STRONY: 223 - 235
ROK: 2004
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Janusz Ciuciura, Labelled Tableaux for D2, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 4, s. 223 - 235

BIBTEX

Janusz Ciuciura. Labelled Tableaux for D2. Bulletin of the Section of Logic, 33(4):223–235, 2004.

Pokaż kod BibTeX

@article{bazhum241546,
  author = {Ciuciura, Janusz},
  title = {{Labelled Tableaux for D2}},
  journal = {Bulletin of the Section of Logic},
  year = {2004},
  volume = {33},
  number = {4},
  pages = {223--235},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/241546}
}