|
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 1969, Number 10, Pages 90–96
(Mi ivm3588)
|
|
|
|
A theorem on normal proofs in the theory of regular formulae
L. L. Tsinman Moscow
Received: 21.03.1968
Citation:
L. L. Tsinman, “A theorem on normal proofs in the theory of regular formulae”, Izv. Vyssh. Uchebn. Zaved. Mat., 1969, no. 10, 90–96
Linking options:
https://www.mathnet.ru/eng/ivm3588 https://www.mathnet.ru/eng/ivm/y1969/i10/p90
|
Statistics & downloads: |
Abstract page: | 126 | Full-text PDF : | 48 | First page: | 1 |
|