TYTUŁ ARTYKUŁU

From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

AUTORZY
Jan von Plato
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2017 / Tom 46 / Numer 1-2
STRONY
65 - 74
ROK
2017
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Jan von Plato, From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 65 - 74

BIBTEX

Jan von Plato. From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction. Bulletin of the Section of Logic, 46(1-2):65–74, 2017.

Pokaż kod BibTeX 
@article{bazhum245933,
  author = {von Plato, Jan},
  title = {{From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction}},
  journal = {Bulletin of the Section of Logic},
  year = {2017},
  volume = {46},
  number = {1-2},
  pages = {65--74},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245933}
}