Reports on mathematical logic No. 26 - Idziak, Pawel M. (Uniwersytet Jagielloński, 1993)