Соотношение между системой модальной логики S5 и узким исчислением предикатов

Research output: Contribution to journalArticle

Cite this