Axiomatic Set Theory in Type Theory

Saarland University Computer Science

Gert Smolka