Geodesic
Finite approximability of the~$I^\Delta$ calculus and the existence of an extension having no model
Matematičeskie zametki, Tome 29 (1981) no. 6, pp. 907-916

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{MZM_1981_29_6_a11,
     author = {A. U. Muravitskii},
     title = {Finite approximability of the~$I^\Delta$ calculus and the existence of an extension having no model},
     journal = {Matemati\v{c}eskie zametki},
     pages = {907--916},
     publisher = {mathdoc},
     volume = {29},
     number = {6},
     year = {1981},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1981_29_6_a11/}
}
TY  - JOUR
AU  - A. U. Muravitskii
TI  - Finite approximability of the~$I^\Delta$ calculus and the existence of an extension having no model
JO  - Matematičeskie zametki
PY  - 1981
SP  - 907
EP  - 916
VL  - 29
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1981_29_6_a11/
LA  - ru
ID  - MZM_1981_29_6_a11
ER  - 
%0 Journal Article
%A A. U. Muravitskii
%T Finite approximability of the~$I^\Delta$ calculus and the existence of an extension having no model
%J Matematičeskie zametki
%D 1981
%P 907-916
%V 29
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1981_29_6_a11/
%G ru
%F MZM_1981_29_6_a11
A. U. Muravitskii. Finite approximability of the~$I^\Delta$ calculus and the existence of an extension having no model. Matematičeskie zametki, Tome 29 (1981) no. 6, pp. 907-916. http://geodesic.mathdoc.fr/item/MZM_1981_29_6_a11/