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


Heaton A.J., Wainer S.S.
[1996]
Axioms for subrecursive theories
London Math. Soc. Lect. Notes, Cambridge Univ. Press, Cambridge, 224, 123-138
?
article

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