Labelled Analytic Tableaux for S4.3

Bulletin of the Section of Logic, Tom 31, Numer 1 (2002) s. 15-26
Andrzej Indrzejczak

 

do góry