Finitary Treatment of Operator Controlled Derivations

• Autores: W. Buchholz
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 3, 2001, págs. 363-396
• Idioma: inglés
• Texto completo no disponible (Saber más ...)