Doklady Akademii Nauk, Tome 262 (1982) no. 4, pp. 795-799
Citer cet article
A. S. Kuzichev. Arithmetically consistent $\lambda$-theories. Doklady Akademii Nauk, Tome 262 (1982) no. 4, pp. 795-799. http://geodesic.mathdoc.fr/item/DAN_1982_262_4_a5/
@article{DAN_1982_262_4_a5,
author = {A. S. Kuzichev},
title = {Arithmetically consistent $\lambda$-theories},
journal = {Doklady Akademii Nauk},
pages = {795--799},
year = {1982},
volume = {262},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1982_262_4_a5/}
}
TY - JOUR
AU - A. S. Kuzichev
TI - Arithmetically consistent $\lambda$-theories
JO - Doklady Akademii Nauk
PY - 1982
SP - 795
EP - 799
VL - 262
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1982_262_4_a5/
LA - ru
ID - DAN_1982_262_4_a5
ER -
%0 Journal Article
%A A. S. Kuzichev
%T Arithmetically consistent $\lambda$-theories
%J Doklady Akademii Nauk
%D 1982
%P 795-799
%V 262
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1982_262_4_a5/
%G ru
%F DAN_1982_262_4_a5
