Mathematical foundations of programming - Beckman, Frank S (Readding Addisson-Wesley, 1980)
Incluye bibliografia e indice
Keywords: LOGICA MATEMATICA; LENGUAJES FORMALES