Joseph Vidal-Rosset es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Por qué la dirección con valor propio mayor tiene el semi-eje mayor?
el 2 de Octubre, 2017 6 votos
Últimas Respuestas
- 1 votos
**Competencia finalizada:** ¿Cuál es la prueba más corta de $\exists x \forall y (D(x) \to D(y))$?
el 26 de Marzo, 2023 1 votos - 4 votos
Eliminación de la doble negación en lógica constructiva
el 13 de Febrero, 2013 4 votos - 3 votos
¿Qué es un constructiva prueba de $\lnot\lnot(P\vee\lnot P)$?
el 14 de Junio, 2015 3 votos
Etiquetas favoritas
- 3 x lógica
- 2 x matemáticas-constructivas
- 1 x prueba-de-alternativa
- 1 x predicate-lógica
- 1 x natural-deducción
- 1 x lógica-proposicional
- 1 x pca