RUS
ENG
Full version
JOURNALS
// Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika
// Archive
Izv. Vyssh. Uchebn. Zaved. Mat.,
1969
Number 10,
Pages
90–96
(Mi ivm3588)
A theorem on normal proofs in the theory of regular formulae
L. L. Tsinman
Moscow
UDC:
517.11
Received:
21.03.1968
Fulltext:
PDF file (568 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (568 kB)