TYTUŁ ARTYKUŁU

Wajsberg's algorithm for the classical propositional calculus

AUTORZY
Ewa Żarnecka-Biały
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1973 / Tom 2 / Numer 2
STRONY
97 - 100
ROK
1973
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Ewa Żarnecka-Biały, Wajsberg's algorithm for the classical propositional calculus, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 2, s. 97 - 100

BIBTEX

Ewa Żarnecka-Biały. Wajsberg's algorithm for the classical propositional calculus. Bulletin of the Section of Logic, 2(2):97–100, 1973.

Pokaż kod BibTeX 
@article{bazhum179543,
  author = {Żarnecka-Biały, Ewa},
  title = {{Wajsberg's algorithm for the classical propositional calculus}},
  journal = {Bulletin of the Section of Logic},
  year = {1973},
  volume = {2},
  number = {2},
  pages = {97--100},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/179543}
}