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 i 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.