So is the old catalogue of the library perhaps available? Perhaps there is a dos computer or disk still available or someone who knows? Perhaps also ask in http

So is the old catalogue of the library perhaps available? Perhaps there is a dos computer or disk still available or someone who knows? Perhaps also ask in https://www.reddit.com/r/printSF/ https://www.reddit.com/r/printSF/