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


Jain S., Nessel J.
[2001]
Some independence results for control structures in complete numberings
J. Symbolic Logic, 66, № 1, 357-382
05.08.101
article

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