Geodesic
On certain theorems of analysis in the formal system Kleene–Vesley
Matematičeskie zametki, Tome 21 (1977) no. 1, pp. 109-116
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

It is proven that in the Kleene–Vesley formal system of intuitionistic analysis, theorems on upper bounds and on mean values of functions can neither be deduced nor verified. 
@article{MZM_1977_21_1_a12,
     author = {M. A. Khachatryan},
     title = {On certain theorems of analysis in the formal system {Kleene{\textendash}Vesley}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {109--116},
     year = {1977},
     volume = {21},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1977_21_1_a12/}
}
TY  - JOUR
AU  - M. A. Khachatryan
TI  - On certain theorems of analysis in the formal system Kleene–Vesley
JO  - Matematičeskie zametki
PY  - 1977
SP  - 109
EP  - 116
VL  - 21
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MZM_1977_21_1_a12/
LA  - ru
ID  - MZM_1977_21_1_a12
ER  - 
%0 Journal Article
%A M. A. Khachatryan
%T On certain theorems of analysis in the formal system Kleene–Vesley
%J Matematičeskie zametki
%D 1977
%P 109-116
%V 21
%N 1
%U http://geodesic.mathdoc.fr/item/MZM_1977_21_1_a12/
%G ru
%F MZM_1977_21_1_a12
M. A. Khachatryan. On certain theorems of analysis in the formal system Kleene–Vesley. Matematičeskie zametki, Tome 21 (1977) no. 1, pp. 109-116. http://geodesic.mathdoc.fr/item/MZM_1977_21_1_a12/