Logique(s), langages formels et complexité pour l'informatique
4h 30m
Narendra Jussien
Lavoisier
2006
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.