Interpolation in infinite-layered extensions of provability
Algebra i logika, Tome 27 (1988) no. 5, pp. 581-603
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1988_27_5_a4,
author = {L. L. Maksimova},
title = {Interpolation in infinite-layered extensions of provability},
journal = {Algebra i logika},
pages = {581--603},
publisher = {mathdoc},
volume = {27},
number = {5},
year = {1988},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1988_27_5_a4/}
}
L. L. Maksimova. Interpolation in infinite-layered extensions of provability. Algebra i logika, Tome 27 (1988) no. 5, pp. 581-603. http://geodesic.mathdoc.fr/item/AL_1988_27_5_a4/