Recuperatorio de Logica para ciencias de la Computacion