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