El llibre presenta l'estat de la qüestió sobre el tema del tractament del llenguatge natural utilitzant formalismes lògics. El tema es presenta des d'una doble vessant: -els diferents formalismes que s'utilitzen i el seu grau d'expressivitat per descriure tant el coneixement lingüístic i lèxic que el tractament dels llenguatge natural implica, com la informació necessària per dur a terme aquest tractament.- els diferents tipus d'analitzadors que són necessaris per tractar els diferents formalismes i les característiques específiques que han de tenir. El llibre fa èmfasi en dos dels formalismes més estesos: les gramàtiques de Clàusules Definides i les gramàtiques de Trets.