Report on mathematical logic No. 15 (Warsawa Kraków : Polish Scientific Publishers, 1983)