京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(著者名に左の語を含む: #Orevkov V. P)
該当件数:3件
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)
図書
Logical and logico-mathematical calculi. 2 / Edited by V. P. Orevkov
Providence, R.I. : American Mathematical Society , 1974. - (Proceedings of the Steklov Institute of Mathematics ; no. 121)
Problems in the constructive trend in mathematics / edited by V.P. Orevkov and M. [i.e. N.] A. Šanin
4,5,6. - Providence, R.I. : American Mathematical Society , 1970-. - (Proceedings of the Steklov Institute of Mathematics ; no. 93, 113, 129)