Logica de la computación - Naishtat, Francisco S. (Informática y computación, 1986)