Predicado de lógica en Haskell - edu.lat

algorithm - resueltos - logica de primer orden teoria - edu.lat