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


Stoltenberg-Hansen V.
[1980]
On computational complexity in weakly admissible structures
J. Symbolic Logic, 45, № 2, 353-358
81.01.34
article

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