Doklady Akademii Nauk, Tome 192 (1970) no. 2, pp. 269-271
Citer cet article
F. A. Kabakov. The intuitionistic deducibility of certain realizable formulae of propositional logic. Doklady Akademii Nauk, Tome 192 (1970) no. 2, pp. 269-271. http://geodesic.mathdoc.fr/item/DAN_1970_192_2_a4/
@article{DAN_1970_192_2_a4,
author = {F. A. Kabakov},
title = {The intuitionistic deducibility of certain realizable formulae of propositional logic},
journal = {Doklady Akademii Nauk},
pages = {269--271},
year = {1970},
volume = {192},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1970_192_2_a4/}
}
TY - JOUR
AU - F. A. Kabakov
TI - The intuitionistic deducibility of certain realizable formulae of propositional logic
JO - Doklady Akademii Nauk
PY - 1970
SP - 269
EP - 271
VL - 192
IS - 2
UR - http://geodesic.mathdoc.fr/item/DAN_1970_192_2_a4/
LA - ru
ID - DAN_1970_192_2_a4
ER -
%0 Journal Article
%A F. A. Kabakov
%T The intuitionistic deducibility of certain realizable formulae of propositional logic
%J Doklady Akademii Nauk
%D 1970
%P 269-271
%V 192
%N 2
%U http://geodesic.mathdoc.fr/item/DAN_1970_192_2_a4/
%G ru
%F DAN_1970_192_2_a4
