Panoramica sulle logiche intuizionistiche modali - Fischer Servi, Gisèle (Zara, 1987)