Doklady Akademii Nauk, Tome 190 (1970) no. 3, pp. 519-522
Citer cet article
S. R. Kogalovskii. Certain reduction theorems for higher order logic. Doklady Akademii Nauk, Tome 190 (1970) no. 3, pp. 519-522. http://geodesic.mathdoc.fr/item/DAN_1970_190_3_a7/
@article{DAN_1970_190_3_a7,
author = {S. R. Kogalovskii},
title = {Certain reduction theorems for higher order logic},
journal = {Doklady Akademii Nauk},
pages = {519--522},
year = {1970},
volume = {190},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1970_190_3_a7/}
}
TY - JOUR
AU - S. R. Kogalovskii
TI - Certain reduction theorems for higher order logic
JO - Doklady Akademii Nauk
PY - 1970
SP - 519
EP - 522
VL - 190
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1970_190_3_a7/
LA - ru
ID - DAN_1970_190_3_a7
ER -
%0 Journal Article
%A S. R. Kogalovskii
%T Certain reduction theorems for higher order logic
%J Doklady Akademii Nauk
%D 1970
%P 519-522
%V 190
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1970_190_3_a7/
%G ru
%F DAN_1970_190_3_a7
