Geodesic
Amplifications of formulae of predicate calculus
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Probabilistic methods and cybernetics. VIII, Tome 130 (1970) no. 3, pp. 54-59

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

@article{UZKU_1970_130_3_a5,
     author = {N. K. Zamov and V. I. Sharonov},
     title = {Amplifications of formulae of predicate calculus},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {54--59},
     publisher = {mathdoc},
     volume = {130},
     number = {3},
     year = {1970},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_1970_130_3_a5/}
}
TY  - JOUR
AU  - N. K. Zamov
AU  - V. I. Sharonov
TI  - Amplifications of formulae of predicate calculus
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 1970
SP  - 54
EP  - 59
VL  - 130
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZKU_1970_130_3_a5/
LA  - ru
ID  - UZKU_1970_130_3_a5
ER  - 
%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T Amplifications of formulae of predicate calculus
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 1970
%P 54-59
%V 130
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_1970_130_3_a5/
%G ru
%F UZKU_1970_130_3_a5
N. K. Zamov; V. I. Sharonov. Amplifications of formulae of predicate calculus. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Probabilistic methods and cybernetics. VIII, Tome 130 (1970) no. 3, pp. 54-59. http://geodesic.mathdoc.fr/item/UZKU_1970_130_3_a5/