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


Kristiansen L. Normann D.
[1997]
Total objects in inductively defined types
Arch. Math. Logik Grundl., 36, № 6, 405-436
01.12.134
article

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