The future of post-human mathematical logic - Baofu, Peter. (Cambridge Scholars, 2008)