A Set-theoretic Setting for Structuring Theories in Proof Development

Z. Luo, R. Burstall

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Original languageEnglish
Title of host publicationLFCS Report Series
PublisherLFCS, Edinburgh Univ
Publication statusPublished - 1992

Cite this