Boolean-valued models for higher-order logic (1966)

by Dana Scott