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


Lavrov I.A.
[1979]
Retracts of Post’s numbering and effectivization of quantifiers
Essays on Math., Phil. Logic, D.Reidel Publ.Com., 287-294
?
article

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