Библиография Лаврова И.А.


Lempp S., Nies A.
[1995]
The unsolvability of the Π4-theory for the r. e. wtt- and Turing degrees
J. Symbolic Logic, 60, № 4, 1118-1136
01.10.27
O
article

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