On Models Constructed by Means of the Arithmetized Completeness Theorem

• Autores: R. Kaye, Henryk Kotlarski
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 4, 2000, págs. 505-516
• Idioma: inglés
• Texto completo no disponible (Saber más ...)