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