Diferencia entre revisiones de «Deducción natural»

57 bytes añadidos ,  hace 10 años
sin resumen de edición
== Notas y referencias ==
{{listaref}}
 
[[Categoría:Lógica]]
[[Categoría:Sistemas lógicos]]
 
[[de:Systeme natürlichen Schließens]]
20 727

ediciones