Izvestiâ vysših učebnyh zavedenij. Matematika, no. 10 (1969), pp. 90-96
Citer cet article
L. L. Tsinman. A theorem on normal proofs in the theory of regular formulae. Izvestiâ vysših učebnyh zavedenij. Matematika, no. 10 (1969), pp. 90-96. http://geodesic.mathdoc.fr/item/IVM_1969_10_a11/
@article{IVM_1969_10_a11,
author = {L. L. Tsinman},
title = {A~theorem on normal proofs in the theory of regular formulae},
journal = {Izvesti\^a vys\v{s}ih u\v{c}ebnyh zavedenij. Matematika},
pages = {90--96},
year = {1969},
number = {10},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/IVM_1969_10_a11/}
}
TY - JOUR
AU - L. L. Tsinman
TI - A theorem on normal proofs in the theory of regular formulae
JO - Izvestiâ vysših učebnyh zavedenij. Matematika
PY - 1969
SP - 90
EP - 96
IS - 10
UR - http://geodesic.mathdoc.fr/item/IVM_1969_10_a11/
LA - ru
ID - IVM_1969_10_a11
ER -
%0 Journal Article
%A L. L. Tsinman
%T A theorem on normal proofs in the theory of regular formulae
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 1969
%P 90-96
%N 10
%U http://geodesic.mathdoc.fr/item/IVM_1969_10_a11/
%G ru
%F IVM_1969_10_a11
