XII Olimpiada Internacional de Lógica