Diferencia entre revisiones de «Deducción natural»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 227:
== Notas y referencias ==
{{listaref}}
[[Categoría:Lógica]]
[[Categoría:Sistemas lógicos]]
[[de:Systeme natürlichen Schließens]]
|