Doklady Akademii Nauk, Tome 201 (1971) no. 4, pp. 794-797
Citer cet article
M. F. Raţă. A criterion for functional completeness in the intuitionistic propositional logic. Doklady Akademii Nauk, Tome 201 (1971) no. 4, pp. 794-797. http://geodesic.mathdoc.fr/item/DAN_1971_201_4_a8/
@article{DAN_1971_201_4_a8,
author = {M. F. Ra\c{t}\u{a}},
title = {A criterion for functional completeness in the intuitionistic propositional logic},
journal = {Doklady Akademii Nauk},
pages = {794--797},
year = {1971},
volume = {201},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1971_201_4_a8/}
}
TY - JOUR
AU - M. F. Raţă
TI - A criterion for functional completeness in the intuitionistic propositional logic
JO - Doklady Akademii Nauk
PY - 1971
SP - 794
EP - 797
VL - 201
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1971_201_4_a8/
LA - ru
ID - DAN_1971_201_4_a8
ER -
%0 Journal Article
%A M. F. Raţă
%T A criterion for functional completeness in the intuitionistic propositional logic
%J Doklady Akademii Nauk
%D 1971
%P 794-797
%V 201
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1971_201_4_a8/
%G ru
%F DAN_1971_201_4_a8
