Report on mathematical logic No. 15 (Polish Scientific Publishers, 1983)