Completeness in non-simple and stable modal logics - Tóth K. (1980)
Keywords: Természettudományok; Számítás- és információtudomány