On non-tabular m-pre-complete classes of formulas in the propositional provability logic.
Izbaş, Olga ; Rusu, Andrei
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică, Tome 14 (2006), p. 91-98 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 2006-01-01
EUDML-ID : urn:eudml:doc:130044 
@article{05375018,
     title = {On non-tabular },
     journal = {Analele \c Stiin\c tifice ale Universit\u a\c tii ``Ovidius" Constan\c ta. Seria: Matematic\u a},
     volume = {14},
     year = {2006},
     pages = {91-98},
     zbl = {1164.03017},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05375018}
}

Izbaş, Olga; Rusu, Andrei. On non-tabular . Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică, Tome 14 (2006) pp. 91-98. http://gdmltest.u-ga.fr/item/05375018/