Text this: El sueño de Leibniz. Sobre deducción automática y razonadores artificiales