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