%0 Journal Article %A O. Izbaş %A A. Rusu %T On non-tabular m-precomplete classes of formulas in the propositional provability logic %J Analele Universităţii "Ovidius" Constanţa Seria Matematică %D 2006 %V XIV %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/ASUO_2006_XIV_1_a6/ %F ASUO_2006_XIV_1_a6