511.3 San L Sancho de San Román, Juan. Lógica Matemática y Computabilidad. -- Madrid : Ediciones Díaz de Santos, 1990. xvi, 223 p, : 24 cm. "Referencias bibliográficas": p. 215 ISBN 84-87189-53-9 1.LOGICA MATEMATICA 2.COMPUTACION I.t.