Respuestas
Respuesta dada por:
0
Respuesta:
La deducción natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones sobre la inferencia lógica (Untersuchungen über das logische Schliessen), publicado en 1934-1935.2
espero y sea eso :)
Preguntas similares
hace 4 años
hace 4 años
hace 6 años
hace 6 años
hace 6 años
hace 8 años
hace 8 años