A Set-theoretic Setting for Structuring Theories in Proof Development. / Luo, Z.; Burstall, R.

LFCS Report Series. LFCS, Edinburgh Univ, 1992.

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

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

ID: 1775019