著者典拠情報

著者標目形：
Orevkov, V. P
属性：
Personal
から見よ参照形：
Оревков, В. П
注記：
Logicheskie i logikomatematicheskie ischislenii︠a︡, 1968
EDSRC:Complexity of proofs and their transformations in axiomatic theories / V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish](American Mathematical Society, c1993)
著者典拠ID：
DA04732747


1.

図書
図書
1. Complexity of proofs and their transformations in axiomatic theories
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
出版情報: Providence, R.I. : American Mathematical Society, c1993
シリーズ名: Translations of mathematical monographs ; v. 128
所蔵情報: 図書館
2.

図書
図書
2. The Calculi of symbolic logic, 1
edited by V.P. Orevkov ; [translated from the Russian by A. Yablonsky]
出版情報: Providence, R.I. : American Mathematical Society, 1971
シリーズ名: Proceedings of the Steklov Institute of Mathematics ; no. 98, 1968
所蔵情報: 図書館
3.

図書
図書
3. Problems in the constructive trend in mathematics (4 ; 5 ; 6)
edited by V.P. Orevkov and M. [i.e. N.] A. Šanin
出版情報: Providence, R.I. : American Mathematical Society, 1970-
シリーズ名: Proceedings of the Steklov Institute of Mathematics ; no. 93, 113, 129
所蔵情報: 図書館