Intuitionistic logic, model theory and forcing - Fitting, Melvin 1942- (North-Holland, 1969)