Grįžti prie informacijos apie straipsnį Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas
Atsiųsti