Intuitionistic logic model theory and forcing
Fitting, Melvin Chris.
Amsterdam London North-Holland Publishing
1969
bibl p188-189