Grįžti į straipsnio detales Rezoliucijų metodas vienai modalumo logikos S4 klasei
##common.download##