Ejemplares similares: História de la lógica formal