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 - 72ROK: 2014CZYSTY TEKSTBIBTEX
