Cholak P.,Goncharov S.S., Khoussainov B. M.,Shore R. A. ...


Cholak P., Goncharov S.S., Khoussainov B. M., Shore R. A.
[1999]
Computable categorical structures and expansions by constants
J. Symbolic Logic, 64, № 1, 13-37
01.05.98
article

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