←
Grįžti į straipsnio detales
Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas
Atsisiųsti