On non-tabular m -pre-complete classes of formulas in the propositional provability logic. Izbaş, Olga, Rusu, Andrei (2006) Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică