TY - JOUR AU - T. Mostowski TI - Analityczne zastosowania twierdzeń o rozstrzygalności JO - Wiadomości Matematyczne PY - 1976 SP - 1 EP - 6 VL - 20 IS - 01 UR - http://geodesic.mathdoc.fr/articles/10.14708/wm.v20i01.3422/ DO - 10.14708/wm.v20i01.3422 LA - pl ID - 10_14708_wm_v20i01_3422 ER -