←
Grįžti prie informacijos apie straipsnį
Herbrand skleidinys vienai modalumo logikos S4 formulių klasei
Atsiųsti