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


Chong C.T., Mourad K. J.
[1992]
Σn-definability without Σn-induction
Trans. Amer. Math. Soc., 334, № 1, 349-363
93.11.86
O
article

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