I can recommend A Canticle for Leibowitz - it covers your last point: https://en.wikipedia.org/wiki/A_Canticle_for_Leibowitz https://en.wikipedia.org/wiki/A_Ca

I can recommend A Canticle for Leibowitz - it covers your last point: https://en.wikipedia.org/wiki/A_Canticle_for_Leibowitz https://en.wikipedia.org/wiki/A_Canticle_for_Leibowitz