Realizability for constructive Zermelo-Fraenkel set theory (2006)

by M Rathjen
Venue:In Logic Colloquium ’03