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


Soare R.I.
[1997]
Computability and enumerability
Proc. X Inter. Congress Logic, Methodology, Philosophy Sci., (Florence, 1995), 221-237
?
article

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