Lavrov I.A. ...


Lavrov I.A.
[1977]
Computable numberings
Proc. V Inter. Congress Logic, Methodology, Philosophy Sci., (London, Ontario, Canada, 1975), D.Reider Publ. Comp., 195-206
?
E
article

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