Reports on mathematical logic No. 13 (Polisch scientific publishers, 1981)