Gentzen-style axiomatization of tense logic

Bulletin of the Section of Logic, Tom 13, Numer 2 (1984) s. 75-84
Kazimierz Trzesicki

 

do góry