Doklady Akademii Nauk, Tome 236 (1977) no. 4, pp. 796-799
Citer cet article
A. S. Kuzichev. A system of $\lambda$-conversion with logical operators and an equality operator. Doklady Akademii Nauk, Tome 236 (1977) no. 4, pp. 796-799. http://geodesic.mathdoc.fr/item/DAN_1977_236_4_a3/
@article{DAN_1977_236_4_a3,
author = {A. S. Kuzichev},
title = {A system of $\lambda$-conversion with logical operators and an equality operator},
journal = {Doklady Akademii Nauk},
pages = {796--799},
year = {1977},
volume = {236},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1977_236_4_a3/}
}
TY - JOUR
AU - A. S. Kuzichev
TI - A system of $\lambda$-conversion with logical operators and an equality operator
JO - Doklady Akademii Nauk
PY - 1977
SP - 796
EP - 799
VL - 236
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1977_236_4_a3/
LA - ru
ID - DAN_1977_236_4_a3
ER -
%0 Journal Article
%A A. S. Kuzichev
%T A system of $\lambda$-conversion with logical operators and an equality operator
%J Doklady Akademii Nauk
%D 1977
%P 796-799
%V 236
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1977_236_4_a3/
%G ru
%F DAN_1977_236_4_a3
