Основы объектно-ориентированного программирования
У6.14 Непротиворечивость
Докажите, что приведенная в этой лекции спецификация стеков является непротиворечивой.
Докажите, что приведенная в этой лекции спецификация стеков является непротиворечивой.