Tekstiviesti: Historia de la lógica