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


Downey R. G.
[1986]
Undecidability of L(F)and other lattices of recursively enumerable substructures
Ann. Pure Appl. Logic, 32, № 1, 17-26; corr. 48 (1990), № 3, 299-301
91.02.82
G
article

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