Bartosz Jerzy Kaczkowski
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On Some Logic with a Relation Imposed on Formulae: Tableau System F Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 1-2 / s. 53 - 722014CZYSTY TEKST
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski, On Some Logic with a Relation Imposed on Formulae: Tableau System F, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 53 - 72
BIBTEX@Article{ authors = " Tomasz Jarmużek, Bartosz Jerzy Kaczkowski", title = "On Some Logic with a Relation Imposed on Formulae: Tableau System F", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "53 - 72" }
