TY - JOUR AU - A. Kościelski AU - L. Pacholski TI - Logic Colloquium ’77 JO - Wiadomości Matematyczne PY - 1979 SP - 79 EP - 84 VL - 22 IS - 01 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.14708/wm.v22i01.3667/ DO - 10.14708/wm.v22i01.3667 LA - pl ID - 10_14708_wm_v22i01_3667 ER -