Detecting the Logical Content: Burley's 'Purity of Logic'.

Wilfrid Hodges Detecting the Logical Content: Burley's 'Purity of Logic'. 69-116 2005 conf/birthday/2005gabbay2 We Will Show Them! (2) db/conf/birthday/Gabbay2.html#Hodges05