Cлабая сходимость в конструктивной математике Antonín Kučera (1970) Commentationes Mathematicae Universitatis Carolinae