A Settheoretic Setting for Structuring Theories in Proof Development', Circulated notes (1988)

by R Burstall, Zhaohui Luo