Title: Intuitionistic logic, model theory and forcing
First published: 1969
Subjects: Forcing (Model theory), Model theory, Axiomatic set theory
LC classification: QA9 .F56