Geodesic
The finitely axiomatizable superintuitionistic logics
Doklady Akademii Nauk, Tome 195 (1970) no. 6, pp. 1263-1266

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

@article{DAN_1970_195_6_a2,
     author = {V. Ya. Gerchiu and A. V. Kuznetsov},
     title = {The finitely axiomatizable superintuitionistic logics},
     journal = {Doklady Akademii Nauk},
     pages = {1263--1266},
     publisher = {mathdoc},
     volume = {195},
     number = {6},
     year = {1970},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/}
}
TY  - JOUR
AU  - V. Ya. Gerchiu
AU  - A. V. Kuznetsov
TI  - The finitely axiomatizable superintuitionistic logics
JO  - Doklady Akademii Nauk
PY  - 1970
SP  - 1263
EP  - 1266
VL  - 195
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/
LA  - ru
ID  - DAN_1970_195_6_a2
ER  - 
%0 Journal Article
%A V. Ya. Gerchiu
%A A. V. Kuznetsov
%T The finitely axiomatizable superintuitionistic logics
%J Doklady Akademii Nauk
%D 1970
%P 1263-1266
%V 195
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/
%G ru
%F DAN_1970_195_6_a2
V. Ya. Gerchiu; A. V. Kuznetsov. The finitely axiomatizable superintuitionistic logics. Doklady Akademii Nauk, Tome 195 (1970) no. 6, pp. 1263-1266. http://geodesic.mathdoc.fr/item/DAN_1970_195_6_a2/