←
Grįžti į straipsnio detales
Herbrand skleidinys vienai modalumo logikos S4 formulių klasei
Atsisiųsti