Theory and Practice of Mathematics and Computer Science Vol. 6, pp. 21-37 Zeitschrift uri icon