ELEMENTE DE LOGICA INTUITIONISTA de ALEXANDRU SURDU , 1976