Harrie C. M. de Swart First Steps in Intuitionistic Model Theory. 3-12 1978 43 J. Symb. Log. 1 db/journals/jsyml/jsyml43.html#Swart78