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 |