Reports on mathematical logic. No. 17 (Warszawa ; Kraków : Państwowe Wydawnictwo Naukowe, 1984)