Intuitionistic logic, model theory and forcing / Melvin Chris Fitting
Oorspr.: diss. New York, Yeshiva University, 1968
Intuitionistic logic, model theory and forcing