Plyushkevichene, A. Yu. On a specialization of processing of axioms in proof procedures for axiomatic theories with equality. (Russian) Zbl 0231.02035 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 175-185 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03F05 Cut-elimination and normal-form theorems × Cite Format Result Cite Review PDF Full Text: EuDML