"A Canticle for Leibowitz"

I'd recommend also "Anathem" by Stephenson