Labelled Tableaux for D2

Bulletin of the Section of Logic, Tom 33, Numer 4 (2004) s. 223-235
Janusz Ciuciura

 

do góry