Resultado de la búsqueda: logica formal objectos de e metodos