Johan es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Omitir tipos... recursivamente
el 3 de Julio, 2017 5 votos - 4 resp
Trucos para la Construcción de Hilbert-Estilo de las Pruebas
el 12 de Mayo, 2016 27 votos
Últimas Respuestas
- 5 votos
Definición de Ted Sider de una relación total sobre un conjunto D
el 6 de Agosto, 2013 5 votos - 9 votos
Significado de "strong" y "weak" (fórmulas?) en lógica proposicional
el 26 de Junio, 2013 9 votos - 4 votos
El rol de la lógica en matemáticas y educación
el 8 de Mayo, 2013 4 votos - 8 votos
Significado de la fórmula $\exists x\exists x P(x)$
el 26 de Junio, 2013 8 votos - 2 votos
Extender las funciones recursivas a clases superiores en la jerarquía aritmética
el 5 de Mayo, 2013 2 votos - 3 votos
- 7 votos
Libros sobre lógica modal?
el 10 de Agosto, 2013 7 votos
Etiquetas favoritas
- 15 x lógica
- 2 x modal-lógica
- 2 x la-computabilidad
- 2 x lógica-proposicional
- 1 x higher-order-lógica
- 1 x relations
- 1 x en-computación