Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Probabilistic methods and cybernetics. VIII, Tome 130 (1970) no. 3, pp. 54-59
Citer cet article
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/
@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},
year = {1970},
volume = {130},
number = {3},
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
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
%U http://geodesic.mathdoc.fr/item/UZKU_1970_130_3_a5/
%G ru
%F UZKU_1970_130_3_a5
