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
所蔵情報: loading…
2.

図書
図書
2. Nonlinear almost periodic oscillations
M.A. Krasnoselʹskii, V. Sh. Burd and Yu. S. Kolesov ; translated from Russian by A. Libin ; translation edited by D. Louvish
出版情報: New York ; [Chichester] : Wiley , Jerusalem ; London : Israel Program for Scientific Translations, c1973
シリーズ名: A Halsted Press book
所蔵情報: loading…