Geodesic
On non-tabular m-precomplete classes of formulas in the propositional provability logic
Analele Universităţii "Ovidius" Constanţa Seria Matematică, XIV (2006) no. 1.

Voir la notice de l'article provenant de la source Analele Stiintifice ale Universitatii Ovidius Constanta website

@article{ASUO_2006_XIV_1_a6,
     author = {O. Izba\c{s} and A. Rusu },
     title = {On non-tabular m-precomplete classes of formulas in the propositional provability
							logic},
     journal = {Analele Universit\u{a}\c{t}ii "Ovidius" Constan\c{t}a Seria Matematic\u{a}},
     publisher = {mathdoc},
     volume = {XIV},
     number = {1},
     year = {2006},
     url = {http://geodesic.mathdoc.fr/item/ASUO_2006_XIV_1_a6/}
}
TY  - JOUR
AU  - O. Izbaş
AU  - A. Rusu 
TI  - On non-tabular m-precomplete classes of formulas in the propositional provability
							logic
JO  - Analele Universităţii "Ovidius" Constanţa Seria Matematică
PY  - 2006
VL  - XIV
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ASUO_2006_XIV_1_a6/
ID  - ASUO_2006_XIV_1_a6
ER  - 
%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
O. Izbaş; A. Rusu . On non-tabular m-precomplete classes of formulas in the propositional provability
							logic. Analele Universităţii "Ovidius" Constanţa Seria Matematică, XIV (2006) no. 1. http://geodesic.mathdoc.fr/item/ASUO_2006_XIV_1_a6/