ooooooo es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
Cálculo de Deducción Natural Que Funciona por Vacío Estructuras
el 23 de Enero, 2019 12 votos
Últimas Respuestas
- 1 votos
Cálculo de Deducción Natural Que Funciona por Vacío Estructuras
el 11 de Junio, 2016 1 votos
Etiquetas favoritas
- 1 x lógica
- 1 x proof-teoría
- 1 x formal-pruebas
- 1 x natural-deducción
- 1 x formal-sistemas-de