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


Strong H.R.
[1970]
Construction of models for algebraically generalized recursion function theory
J. Symbolic Logic, 35, № 3, 401-409
71.06.61
article

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