Title: Valido e provabile
Subjects: Intuitionistic mathematics, Modality (Logic), Symbolic and mathematical Logic