Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 195-227
Citer cet article
N. N. Vorob'ev. A constructive calculus of statements with strong negation. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 3, Tome 72 (1964), pp. 195-227. http://geodesic.mathdoc.fr/item/TM_1964_72_a5/
@article{TM_1964_72_a5,
author = {N. N. Vorob'ev},
title = {A~constructive calculus of statements with strong negation},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {195--227},
year = {1964},
volume = {72},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1964_72_a5/}
}
TY - JOUR
AU - N. N. Vorob'ev
TI - A constructive calculus of statements with strong negation
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1964
SP - 195
EP - 227
VL - 72
UR - http://geodesic.mathdoc.fr/item/TM_1964_72_a5/
LA - ru
ID - TM_1964_72_a5
ER -
%0 Journal Article
%A N. N. Vorob'ev
%T A constructive calculus of statements with strong negation
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1964
%P 195-227
%V 72
%U http://geodesic.mathdoc.fr/item/TM_1964_72_a5/
%G ru
%F TM_1964_72_a5
