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


Cenzer D., Remmel J.
[2006]
On the complexity of inductive definitions
Math. Struc. Comp. Sci., 16, № 5, 763-788
BH08.11.105