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