Baterman P.T., Jockusch C.G. Jr., Woods A.R.


Baterman P.T.,Jockusch C.G. Jr., Woods A.R.
[1993]
Decidability and undecidability of theories with a predicate for the primes
J. Symbolic Logic, 58, № 2, 672-687
94.08.122
article

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