Realisability in weak systems of explicit mathematics

• Autores: Daria Spescha, Thomas Strahm
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 6, 2011, págs. 551-565
• Idioma: inglés
• Texto completo no disponible (Saber más ...)