Linguistica, logica, informatica:una storia cognitiva parallela