Introducción
Capítulo 1
Determinación de satisfactibilidad en la lógica de enunciados
Capítulo 2
Determinación de satisfactibilidad en la lógica de primer orden
Capítulo 3
El enfoque orientado a modelos
Capítulo 4
El enfoque orientado a pruebas
Epílogo
La autora