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