Orevkov, V. P
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 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=AU20068796 NCID=DA04732747 |
1 | Logical and logico-mathematical calculi. 2 / Edited by V. P. Orevkov Providence, R.I. : American Mathematical Society , 1974 |
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 |