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


Kierstead H.
[1987]
On Π1-automorphisms of recursive linear orders
J. Symbolic Logic, 52, № 3, 681-688
88.05.64
G
article

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