Reports on mathematical logic. No. 17 (Państwowe Wydawnictwo Naukowe, 1984)