Realizability for constructive Zermelo-Fraenkel set theory (0)

by M Rathjen
Venue:Logic Colloquium 2003. Lecture Notes in Logic 24 (A.K. Peters