Diferencia entre revisiones de «Deducción natural»
Contenido eliminado Contenido añadido
m r2.7.2) (Bot Añadido: it:Deduzione naturale |
m Moviendo 11 enlaces interlingúisticos, ahora proporcionado(s) por Wikidata en la página d:q1572108. |
||
Línea 260:
{{Bueno|zh}}
|