TY - JOUR AU - Rieger, Ladislav TI - Ke kritice Churchovy teze o obecně rekursivních funkcích aritmetiky JO - Časopis pro pěstování matematiky PY - 1961 SP - 480 EP - 481 VL - 086 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117395/ DO - 10.21136/CPM.1961.117395 LA - cs ID - 10_21136_CPM_1961_117395 ER -