Admissible rules for temporal logic LinTGrz

Bulletin of the Section of Logic, Tom 26, Numer 2 (1997) s. 60-66
Julia V. Bezgacheva

 

do góry