Title: Construccion Logica de Programas Teoria y Problemas Resueltos