Diferencia entre revisiones de «Deducción natural»

Ir a la navegación Ir a la búsqueda
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

Menú de navegación