Author: Congresso nazionale di logica (1979 Montecatini Terme, Italy)