Orevkov, V. P. Proof schemata in Hilbert-type axiomatic theories. (English. Russian original) Zbl 0724.03009 J. Sov. Math. 55, No. 2, 1610-1620 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 132-146 (1988). MSC: 03B25 03F20 PDF BibTeX XML Cite \textit{V. P. Orevkov}, J. Sov. Math. 55, No. 2, 1610--1620 (1991; Zbl 0724.03009); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 132--146 (1988) Full Text: DOI OpenURL
Orevkov, V. P. Schemes of proofs in axiomatic theories of Hilbert type. (Russian. English summary) Zbl 0694.03009 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 132-146 (1988). Reviewer: V.Sazonov MSC: 03B25 03F20 PDF BibTeX XML Full Text: EuDML OpenURL