Book

Intuitionistic logic, model theory and forcing

by Melvin Fitting