massoud es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Diagonalización de matrices simétricas
el 1 de Junio, 2019 2 votos - 2 resp
¿Cómo se deriva la lógica de primer orden de los números naturales?
el 6 de Enero, 2016 4 votos - 1 resp
Si hay Predicados antes del Cálculo de Predicados, ¿por qué se llama así?
el 8 de Enero, 2016 1 votos - 1 resp
Muestran que
el 12 de Agosto, 2018 3 votos - 3 resp
Diferencia entre Gentzen y cálculos de Hilbert
el 15 de Mayo, 2017 11 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x lógica
- 1 x lógica-proposicional
- 1 x cálculo-del-hilbert
- 1 x elementary-conjunto-teórico
- 1 x relations
- 1 x propositional-calculus
- 1 x predicate-logic