It seems they don't have all the books that are on MIT open access. I can't find "The Art of Prolog"[1], for example. But maybe they are downloading only the ones with the "free" tag like "Turtle Geometry"[2] (Last time I looked at this one it was one pdf for each chapter).