Geodesic
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

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

@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},
     publisher = {mathdoc},
     volume = {129},
     number = {4},
     year = {1969},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_1969_129_4_a2/
%G ru
%F UZKU_1969_129_4_a2
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/