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


Odintsov S. P.
[1998]
Generally constructive Boolean algebras
Handbook of Recursive Mathematics, v.2, 1319-1354, Elsevier
?
article

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