anfauglit es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Es posible probar que encontramos la prueba más corta?
el 9 de Octubre, 2018 7 votos
Últimas Respuestas
- 1 votos
Prueba de deducción natural para los nuevos var
el 23 de Junio, 2017 1 votos
Etiquetas favoritas
- 1 x lógica
- 1 x lógica-proposicional
- 1 x natural-deducción
- 1 x logic