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


Nies A., Shore R.A.
[1995]
Interpreting true arithmetic in the theory of the r. e. truth table degrees
Ann. Pure Appl. Logic, 75, № 3, 269-311
96.ВН4.16
O
article

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