←
Grįžti prie informacijos apie straipsnį
Rezoliucijų metodas vienai modalumo logikos S4 klasei
Atsiųsti