Forcing for intuitionistic systems without power-set (1983)

by R J Grayson
Venue:Journal of Symbolic Logic