Verifying the meta-theory of deductive systems. Thesis Proposal (1994)

by Ekkehard Rohwedder