Logique(s), langages formels et complexité pour l'informatique

Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle.