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


Cooper S.B. (et al. eds)
[1996]
Computability, Enumerability, Unsolvability: directions in Recursion Theory
London Math. Soc. Lect. Notes, 224, Cambridge Univ. Press
?
book

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