The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs

Bulletin of the Section of Logic, Tom 13, Numer 2 (1984) s. 69-74
Andrzej Biela