Rubin M. ...


Rubin M.
[1976]
The theory of Boolean algebras with a distinguished subalgebra is undecidable
Ann. Sci. Univ., Clermon-Ferrand II Math., 13, № 60, 129-134
78.05.59
OS
article

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