@article{BASM_2015_3_a8,
     author = {Olga Izbash and Andrei Rusu},
     title = {On the absence of finite approximation relative to model completeness in propositional provability logic},
     journal = {Buletinul Academiei de \c{S}tiin\c{t}e a Republicii Moldova. Matematica},
     pages = {110--113},
     publisher = {mathdoc},
     number = {3},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BASM_2015_3_a8/}
}