LOGICA CLASICA SI LOGICA MATEMATICA de ALEXANDRU SURDU , 1971