dre rt es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Campo ordenado arquimediano y no expresable en lógica de primer orden
el 18 de Noviembre, 2020 5 votos - 1 resp
Dos formas de regla de generalización en lógica
el 29 de Enero, 2021 1 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x logic
- 1 x predicate-logic
- 1 x quantifiers
- 1 x model-theory