An induction principle for consequence in arithmetic universes

• Autores: Maria Emilia Maietti, Steven Vickers
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 216, Nº 8-9, 2012, págs. 2049-2067
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2012.02.040
• Texto completo no disponible (Saber más ...)