Logica intuizionista - Altre lingue