Title: The future of post-human mathematical logic
Subjects: Philosophy, Symbolic and mathematical Logic, Logic, symbolic and mathematical