«Logica matematica» su inglese con traduzione parallela