Intuitionistic logic, model theory and forcing. - Fitting, Melvin, 1942- (Studies in logic and the foundations of mathematics., 1969)