Liutas es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Nombre de generalización de la propiedad: $f^n(x) \ne x$ % todo $n > 0$
el 5 de Octubre, 2018 4 votos - 3 resp
¿Cómo se llama esto?
el 15 de Septiembre, 2017 6 votos - 1 resp
Prueba intuicionista de $\neg\neg(\neg\neg P \rightarrow P)$
el 17 de Mayo, 2017 6 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x lógica
- 2 x lógica-proposicional
- 2 x terminología
- 1 x intuitionistic-lógica
- 1 x proof-teoría
- 1 x la-notación
- 1 x operaciones-binarias