Urtubey, Luis Adrián (Alberto Moreno, 1995-09)
Las presentaciones más comunes de los procesos de inferencia lógica suelen basarse en la presencia de una implicación y de una regla de inferencia asociada con ella. No sólo puede observarse esto en los sistemas axiomáticos, ...