Respuestas
Respuesta dada por:
1
Respuesta:
El primero es un sistema axiomatico simple y el segundi es un sistema sin axiomas, de deducción natural.
Preguntas similares
hace 6 años
hace 6 años
hace 8 años