<<La >>buona formazione grammaticale è meccanicamente decidibile? A proposito di alcuni teoremi di Chomsky e della logica dei predicati