TY - JOUR AU - Rieger, Ladislav TI - Ke Kleeneho normální formě strojově vyčíslitelných funkcí JO - Časopis pro pěstování matematiky PY - 1963 SP - 349 EP - 363 VL - 088 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1963.117467/ DO - 10.21136/CPM.1963.117467 LA - cs ID - 10_21136_CPM_1963_117467 ER -