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


Enderton G.
[1977]
Elements of recursive theory
Handbook of Mathematic Logic, p. C, North-Holland, 527-566 (Русский перевод в Справочной книге по математической логике , ч. III , (Ершов Ю.Л.- ред.), М., Наука, 1982, 9-50.)
?
article

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