Finitary S5-Theories (Q2938497)

From MaRDI portal