yr 〜
yr

Search results 7

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]. (Translations of mathematical monographs ; v. 128)

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]. (Translations of mathematical monographs ; v. 128)
Paper図書
American Mathematical Societyc1993.<MA41-A88>
National Diet Library
  • Author HeadingOrevkov, V. P. Louvish, David.

Complexity of proofs and their transformations in axiomatic theories

Complexity of proofs and their transformations in axiomatic theories
Paper図書
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]American Mathematical Societyc1993
Other Libraries in Japan
  • Author HeadingOrevkov, V. P Bochman, Alexander Louvish, D...

Теория доказательств и конструктивная математика

Теория доказательств и конструктивная математика
Paper図書
перевод c английского, Г.В. Давыдова, Г.Е. Минца ; под редакцией, В.П. Оревкова"Наука", Главная ред. физико-математической лит-рат1983
Other Libraries in Japan
  • Author HeadingDavydov, G. V. Mint︠s︡, G. E. Orevkov, V. P.

Logical and logico-mathematical calculi. 2

Logical and logico-mathematical calculi. 2
Paper図書
Edited by V. P. OrevkovAmerican Mathematical Society1974
Other Libraries in Japan
  • Author HeadingOrevkov, V. P

The Calculi of symbolic logic, 1

The Calculi of symbolic logic, 1
Paper図書
edited by V.P. Orevkov ; [translated from the Russian by A. Yablonsky]American Mathematical Society1971
Other Libraries in Japan
  • Author HeadingOrevkov, V. P

Логические и логико-математические исчисления : сборник работ

Логические и логико-математические исчисления : сборник работ
Paper図書
под редакцей В.П. ОревковаИзд-во "Наука"1968-
Other Libraries in Japan
  • Author HeadingOrevkov, V. P

Problems in the constructive trend in mathematics

Problems in the constructive trend in mathematics
Paper図書
edited by V.P. Orevkov and M. [i.e. N.] A. ŠaninAmerican Mathematical Society1970-
Other Libraries in Japan
  • Author HeadingOrevkov, V. P Shanin, N. A. (Nikolaĭ Aleksa...

Reached to the end of result.