Doklady Akademii Nauk, Tome 212 (1973) no. 6, pp. 1290-1292
Citer cet article
A. S. Kuzichev. A $\lambda$-conversion system with a deductive operator of formal implication. Doklady Akademii Nauk, Tome 212 (1973) no. 6, pp. 1290-1292. http://geodesic.mathdoc.fr/item/DAN_1973_212_6_a5/
@article{DAN_1973_212_6_a5,
author = {A. S. Kuzichev},
title = {A $\lambda$-conversion system with a deductive operator of formal implication},
journal = {Doklady Akademii Nauk},
pages = {1290--1292},
year = {1973},
volume = {212},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1973_212_6_a5/}
}
TY - JOUR
AU - A. S. Kuzichev
TI - A $\lambda$-conversion system with a deductive operator of formal implication
JO - Doklady Akademii Nauk
PY - 1973
SP - 1290
EP - 1292
VL - 212
IS - 6
UR - http://geodesic.mathdoc.fr/item/DAN_1973_212_6_a5/
LA - ru
ID - DAN_1973_212_6_a5
ER -
%0 Journal Article
%A A. S. Kuzichev
%T A $\lambda$-conversion system with a deductive operator of formal implication
%J Doklady Akademii Nauk
%D 1973
%P 1290-1292
%V 212
%N 6
%U http://geodesic.mathdoc.fr/item/DAN_1973_212_6_a5/
%G ru
%F DAN_1973_212_6_a5
