A completeness proof for an infinitary tense logic

Bulletin of the Section of Logic, Tom 6, Numer 2 (1977) s. 70-73
Goran Sundholm

 

do góry