On Some Logic with a Relation Imposed on Formulae: Tableau System F

Bulletin of the Section of Logic, Tom 43, Numer 1-2 (2014) s. 53-72
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski

 

do góry