Title: de calculo logico programma . . .