%0 Journal Article %A Vladimir Ristić %T $L_{ACP}^k>$ logic and completeness theorem %J Kragujevac Journal of Mathematics %D 2006 %P 99 %V 29 %I mathdoc %U http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/ %G en %F KJM_2006_29_a9