Edmund Harriss Wilfrid Hodges Logic for Mathematical Writing. 313-320 2007 15 Logic Journal of the IGPL 4 http://dx.doi.org/10.1093/jigpal/jzm022 db/journals/igpl/igpl15.html#HarrissH07