Two constructive embedding-extension theorems with applications

• Autores: A. Bauer, A. Simpson
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 4-5, 2004, pág. 351
• Idioma: inglés
• Texto completo no disponible (Saber más ...)