Jan von Plato
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 65 - 742017CZYSTY 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@Article{ authors = " Jan von Plato", 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", issue = "2017 / Tom 46 / Numer 1-2", pages = "65 - 74" }
