This document is unfortunately not available for download at the moment.
formality and informality. I use this perspective to respond to the arguments for the inconsistency of mathematics made by Beall and Priest, presenting problems with the assumptions needed concerning formalisation, the unity of informal mathematics and the relation between the formal and informal." />
pp. 159-173
This document is unfortunately not available for download at the moment.