Diferencia entre revisiones de «Deducción natural»
Contenido eliminado Contenido añadido
m →Enlaces externos: spam |
m Bot: desenlazando plantillas obsoletas. Dato ahora proveído por Wikidata - Plantilla:Bueno (v1.34) |
||
Línea 259:
[[Categoría:Lógica]]
[[Categoría:Sistemas lógicos]]
|