Diferencia entre revisiones de «Deducción natural»

14 bytes eliminados ,  hace 5 años
m
Bot: desenlazando plantillas obsoletas. Dato ahora proveído por Wikidata - Plantilla:Bueno (v1.34)
m (Bot: desenlazando plantillas obsoletas. Dato ahora proveído por Wikidata - Plantilla:Bueno (v1.34))
[[Categoría:Lógica]]
[[Categoría:Sistemas lógicos]]
 
{{Bueno|zh}}
965 918

ediciones