Constructivizability of the boolean algebra B(w) with a distinguished automorphism

• Autores: N. A. Bazhenov, R. R. Tukhbatullina
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 51, Nº. 5, 2012, págs. 384-403
• Idioma: inglés
• DOI: 10.1007/s10469-012-9199-0
• Texto completo no disponible (Saber más ...)