Dekker J.C.E. ...


Dekker J.C.E.
[1969]
Countable vector space with recursive operations. Part I
J. Symbolic Logic, 34, № 3, 363-387
70.05.60
article

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