Lógica matemática y computabilidad - San Román, J. Sancho (Madrid : Díaz de Santos, 1990)
Keywords: Lógica matemática -- Automatización; Programación (Matemáticas)