Realizability for Constructive Zermelo-fraenkel Set Theory, Logic Colloquium ’03 (0)

by M Rathjen
Venue:Lecture Notes in Logic, vol. 24, Association for Symbolic Logic and AK Peters, 2006