Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Probabilistic methods and cybernetics. VII, Tome 129 (1969) no. 4, pp. 21-31
Citer cet article
N. K. Zamov; V. I. Sharonov. The strengthening of formulae that are provable in propositional calculus. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Probabilistic methods and cybernetics. VII, Tome 129 (1969) no. 4, pp. 21-31. http://geodesic.mathdoc.fr/item/UZKU_1969_129_4_a2/
@article{UZKU_1969_129_4_a2,
author = {N. K. Zamov and V. I. Sharonov},
title = {The strengthening of formulae that are provable in propositional calculus},
journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
pages = {21--31},
year = {1969},
volume = {129},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/UZKU_1969_129_4_a2/}
}
TY - JOUR
AU - N. K. Zamov
AU - V. I. Sharonov
TI - The strengthening of formulae that are provable in propositional calculus
JO - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY - 1969
SP - 21
EP - 31
VL - 129
IS - 4
UR - http://geodesic.mathdoc.fr/item/UZKU_1969_129_4_a2/
LA - ru
ID - UZKU_1969_129_4_a2
ER -
%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T The strengthening of formulae that are provable in propositional calculus
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 1969
%P 21-31
%V 129
%N 4
%U http://geodesic.mathdoc.fr/item/UZKU_1969_129_4_a2/
%G ru
%F UZKU_1969_129_4_a2
