MillerRG,Nies A,Shore R. A. ...


Miller R. G., Nies A, Shore R. A.
[2004]
Undecidability of the ∀∃-theory of R( ≤ , ∨ , ∧ )
Trans. Amer. Math. Soc., 356, № 8, 3025-3067
08.01.204
article

Вернуться к поиску