Mihai B. es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Teorema de Löb y demostrabilidad
el 18 de Diciembre, 2015 1 votos - 1 resp
¿cuál es la diferencia entre consecuencia sintáctica ⊢ y consecuencia semántica ⊨?
el 2 de Agosto, 2018 18 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x lógica
- 1 x logic
- 1 x proof-theory