Intuitionstic logic model theory and forcing - Fitting Melvin Chris (London North-Holland, 1969)
Keywords: Intuitionistic logic; Mathematical logic