TYTUŁ ARTYKUŁU

Decidability of structural completeness for strongly finite propositional calculi

AUTORZY
Zdzisław Dywan
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1978 / Tom 7 / Numer 3
STRONY
129 - 132
ROK
1978
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Zdzisław Dywan, Decidability of structural completeness for strongly finite propositional calculi, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 129 - 132

BIBTEX

Zdzisław Dywan. Decidability of structural completeness for strongly finite propositional calculi. Bulletin of the Section of Logic, 7(3):129–132, 1978.

Pokaż kod BibTeX 
@article{bazhum217420,
  author = {Dywan, Zdzisław},
  title = {{Decidability of structural completeness for strongly finite propositional calculi}},
  journal = {Bulletin of the Section of Logic},
  year = {1978},
  volume = {7},
  number = {3},
  pages = {129--132},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/217420}
}