sufronausea es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Tiene
el 5 de Febrero, 2019 4 votos
Últimas Respuestas
- 0 votos
Conversión de fórmulas de lógica de predicados a la forma normal de Skolem
el 12 de Marzo, 2017 0 votos - -2 votos
¿Valen las pruebas Metalógica?
el 27 de Junio, 2017 -2 votos
Etiquetas favoritas
- 1 x lógica
- 1 x meta-matemáticas
- 1 x metalógica
- 1 x conjunto-teórico
- 1 x filtros
- 1 x gran-cardenales
- 1 x predicate-logic