HDS-21: Gerard R. Renardel de Lavalette Theories with type-free application and extended bar induction 1.Samenvatting, 2.Full Text (DJVU), 3.Full Text (PDF). < Back
