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