%0 Journal Article %A Staiger, Ludwig %T Representable P. Martin-Löf tests %J Kybernetika %D 1985 %P 235-243 %V 21 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/KYB_1985__21_3_a5/ %G en %F KYB_1985__21_3_a5