Diferencia entre revisiones de «Deducción natural»

14 bytes añadidos ,  hace 9 años
m
Bot: Enlace a artículo bueno para: zh:自然演绎; cambios triviales
m (robot Añadido: fi:Luonnollinen päättely)
m (Bot: Enlace a artículo bueno para: zh:自然演绎; cambios triviales)
[[Categoría:Lógica]]
[[Categoría:Sistemas lógicos]]
 
{{Bueno|zh}}
 
[[de:Systeme natürlichen Schließens]]
176 581

ediciones