Usuario Borrado es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Cuántas matemáticas podemos hacer en NF(U)?
el 4 de Diciembre, 2017 8 votos - 4 resp
Últimas Respuestas
- 0 votos
Convertir la frase en lógica de predicado
el 1 de Junio, 2014 0 votos - 1 votos
Contrapositivo declaración
el 2 de Junio, 2014 1 votos
Etiquetas favoritas
- 2 x lógica
- 1 x first-order-lógica
- 1 x higher-order-lógica
- 1 x no-estándar-de-los-modelos-de
- 1 x conjunto-teórico
- 1 x fundaciones
- 1 x logic