A constructive version of Birkhoff's theorem

• Autores: Jesper Carlström
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 54, Nº. 1, 2008, págs. 27-34
• Idioma: inglés
• Texto completo no disponible (Saber más ...)