TYTUŁ ARTYKUŁU

Resolution Based Natural Deduction

AUTORZY
Andrzej Indrzejczak
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2002 / Tom 31 / Numer 3
STRONY
159 - 170
ROK
2002
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Resolution Based Natural Deduction, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 159 - 170

BIBTEX

Andrzej Indrzejczak. Resolution Based Natural Deduction. Bulletin of the Section of Logic, 31(3):159–170, 2002.

Pokaż kod BibTeX 
@article{bazhum241084,
  author = {Indrzejczak, Andrzej},
  title = {{Resolution Based Natural Deduction}},
  journal = {Bulletin of the Section of Logic},
  year = {2002},
  volume = {31},
  number = {3},
  pages = {159--170},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/241084}
}