The formulae-as-classes interpretation of constructive set theory. To appear in (0)

by M Rathjen
Venue:Proof Technology and Computation, Proceedings of the International Summer School Marktoberdorf 2003 (IOS