Doklady Akademii Nauk, Tome 214 (1974) no. 3, pp. 520-523
Citer cet article
V. E. Plisko. Recursive realizability and constructive predicate logic. Doklady Akademii Nauk, Tome 214 (1974) no. 3, pp. 520-523. http://geodesic.mathdoc.fr/item/DAN_1974_214_3_a9/
@article{DAN_1974_214_3_a9,
author = {V. E. Plisko},
title = {Recursive realizability and constructive predicate logic},
journal = {Doklady Akademii Nauk},
pages = {520--523},
year = {1974},
volume = {214},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1974_214_3_a9/}
}
TY - JOUR
AU - V. E. Plisko
TI - Recursive realizability and constructive predicate logic
JO - Doklady Akademii Nauk
PY - 1974
SP - 520
EP - 523
VL - 214
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1974_214_3_a9/
LA - ru
ID - DAN_1974_214_3_a9
ER -
%0 Journal Article
%A V. E. Plisko
%T Recursive realizability and constructive predicate logic
%J Doklady Akademii Nauk
%D 1974
%P 520-523
%V 214
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1974_214_3_a9/
%G ru
%F DAN_1974_214_3_a9
