The future of post-human mathematical logic - Baofu, Peter (Cambridge Scholars, 2008)
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
Includes bibliographical references and index
Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? Contrary to conventional wi