Carralpha 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 álgebra de relaciones un único operador suficiente?
el 16 de Mayo, 2021 5 votos - 2 resp
Sentencia de primer orden que implica a sólo una relación binaria simétrica con infinitos modelos de sólo
el 21 de Septiembre, 2018 6 votos
Últimas Respuestas
- 2 votos
Sentencia de primer orden que implica a sólo una relación binaria simétrica con infinitos modelos de sólo
el 27 de Septiembre, 2017 2 votos
Etiquetas favoritas
- 1 x lógica
- 1 x relaciones
- 1 x predicate-lógica
- 1 x model-teoría
- 1 x first-order-lógica
- 1 x abstract-algebra
- 1 x logic