Tiddo es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Implica el teorema de Diaconescu que la teoría de tipos cúbicos no es constructiva?
el 27 de Febrero, 2018 2 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x axiom-of-choice
- 1 x constructive-mathematics
- 1 x type-theory