Contributo allo studio dei sistemi di equazioni logiche - Nordio, Sergio (Tecnica italiana, 1962)