Martin Davis - Altre lingue