Lachlan A.H., Soare R.J.


Lachlan A.H. , Soare R.J.
[1994]
Models of arithmetic and upper bounds for arithmetic sets
J. Symbolic Logic, 59, № 3, 977-983
95.03.54
article

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