Title: Intuitionistic logic model theory and forcing
First published: 1969