«Lógica matemática» en inglés con traducción paralela