Björn es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 3 votos
Condiciones para los órdenes totales en la lógica temporal
el 3 de Marzo, 2015 3 votos - 1 votos
Si el día de ayer fuera mañana, hoy sería viernes.
el 5 de Febrero, 2015 1 votos
Etiquetas favoritas
- 1 x lógica
- 1 x recreativo-matemáticas
- 1 x modal-logic
- 1 x nonclassical-logic
- 1 x kripke-models